Sentence examples for specification analysis of the from inspiring English sources

XRD-measurements were employed for the specification analysis of the recovered target material.

Formal specification and analysis of the algorithm is described in "Results and discussion" section.

In the context of specification-based analysis of the model, we are therefore interested in knowing if the specification holds on all infinitely visited states.

Because the log-linear dose response relationship only required two parameters for complete specification and the alternatives required three parameters, we elected to use the most parsimonious specification for detailed analysis of the data set at hand.

The purpose of this article is to elaborate a global methodology of specification design and analysis of the flexible manufacturing systems control covering the coordination level which deal with interaction manage between different workshop resources and principally with synchronization problems.

The B method provides a formal specification and rigorous analysis of the functionality and behavior of a system.

A Petri net (PN -based aPN -basedssociapproachh object-oriented technique is proposed to support the specificassociatedlysis, and design of digital systems.

In this paper, we describe the design and implementation of an environment for specification, analysis and verification of reactive systems.

VerCors [26] is a platform for the specification, analysis, verification, and validation of GCM-based applications.

The Planguage language terms are used together with the Planguage processes for specification, analysis, design and management of processes, projects, or organizations.

Unfortunately, the deficiency of its dynamic semantics limits the possibility of early specification analysis.