Advanced Search
Results: Displaying 10 of 100 on page 1 of 10
Name
Title
Area
Document
Colleges
Year
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
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)...
Results: Displaying 10 of 100 on page 1 of 10