Búsqueda Avanzada
Resultados: Listando 10 de 100 en la página 1 de 10
Nombre
Título
Área
Documento
Facultad
Año
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)...
Resultados: Listando 10 de 100 en la página 1 de 10