Sentence examples for high level formal from inspiring English sources

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.

Holland-Minkley, A. Verbalization of high-level formal proofs.

Amanda M. Holland-Minkley, Regina Barzilay, and Robert Constable, Verbalization of High-Level Formal Proofs.

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.

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.

In order to advance into higher levels, formal training for management positions is essential.

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.

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.

In addition, women with high level of formal education background are more likely to own ITNs than their counterparts with low or no formal educational background (Chi-square = 24.13, df = 4, p-value = 0.000).