Sentence examples for high-level formal from inspiring English sources

Turkey prevents high-level formal meetings between NATO and the P.S.C. on the grounds that Cyprus does not have any security clearance from NATO.

To use a high-level formal apparatus like a variant of the LT language as a background for combining these two database technologies can be beneficial for practice.

In this paper, we describe an approach to verify concurrent C code by automatically extracting a high-level formal model that is suitable for analysis with existing tools.

Political changes at the local, state, and federal levels in Mexico frequently lead to changes in public health personnel, resulting in an ongoing need to train and incorporate new personnel into the project; this reality has highlighted the importance of institutionalizing any binational project through high-level formal agreements between the two countries.

Petri nets have been recognised as a high level formal and graphical specification language for modelling, analysis, and control of concurrent asynchronous distributed systems.

One of the means that allow modelers to leverage the power of proper modeling techniques (e.g. stochastic techniques) is the application of abstractions by using high level formal modeling languages.

Estimates of the the hourly cost of care are AU$27 (2009 values) for low level (informal) care [[ 7] p.49] with an additional increase by 20% for high level (formal) [ 11] care to AU$33.

The specific approaches that micROS utilizes include high-level programming languages, formal modeling and analysis tools, automated program transformation, virtual machines supporting cross-platform execution.

National representatives to NATO and the European Union have engaged in formal, high-level strategic discourse exactly once, with Bosnia-Herzegovina as the only item on the agenda.

If an Iran brimming with self-confidence is no longer afraid of America, why did it decide to take part at the end of May in the first formal high-level talks it has held with the United States since the American embassy hostages left Tehran in January 1981?

Development of databases software would be provided with a high-level specification suitable for formal reasoning about correctness properties.