The variation of the depth versus time, at the exit of a short rectangular channel...

Testing and formal verification of the exceptional behavior of Java programs

not available

Formal specification and verification of requirements for air traffic systems

Modeling and formal verification method applied to air traffic systems

A framework for modeling and formal verification of safety instrumented systems control...

Formal verification of systems modeled as finite state machines

Formal verification of distribuited discrete systems

An object-oriented development process with support to inconsistencies formal v...

Comparative study of procedures of the Service of Verification of Deaths (SVO-TO)...