Sentence examples for formalized using from inspiring English sources

The SFRA proposed for WSANs is formalized using VDM-SL which is a formal specification language used to analyse models both at abstract and detailed level.

The ATC take off procedure is formalized using VDM-SL because it is a formal specification language used both at abstract and detailed level.

We provide example protocols that have been formalized using EXACT, and demonstrate the advantages and opportunities created by using this formalization.

It could be formalized using the same trick.

This problem can be formalized using terms from graph theory.

The prediction of the crack propagation condition is formalized using a short crack arrest description.

Indications of openness to discuss donor and implementing agency risk thresholds, potential for "formalizing" use of the hawala system for humanitarian purposes, and engagement with governments to explore ways of minimizing fiduciary, legal, and political risk in cross-border fund transfers were emerging at the time of this assessment (Beachwood International 2015b).

The emergency management procedures (DSS rules in Fig. 1) are formalized by using Petri Nets (Murata 1989) and executed by the DSS engine installed locally (Fig. 4).

In the paper, the meaning of fault isolation performance is formalized by using the established notion of coverage and false coverage from the field of statistics.

The rules are formalized by using a rule-based reasoning approach and are applied in order to enhance patient safety and support physicians in their daily work.

This paper discusses how procedural parametric models based on two-dimensional sketches can be represented by graphs and how detailing steps in the form of parametric modeling operations can be formalized by using rule-based graph rewriting.