Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Model checking
Temporal logic
Event-based system
2
Fluents
2
Linear temporal logic
2
Logic model checking
2
Numerical values
2
Reactive system
2
Software architecture
2
Software engineering
2
Specifications
2
Temporal logic specifications
2
Ciencias Informáticas
1
Software process models (e.g., CMM, ISO, PSP)
1
-
1Publicado 2015Materias: “...Temporal logic...”
-
2
-
3