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
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
2
Temporal logic specifications
2
Ciencias Informáticas
1
Requirements/Specifications
1
Software Architectures
1
-
1
-
2Publicado 2015Materias: “...Software architecture...”
-
3por Regis, G., Degiovanni, R., D'Ippolito, N., Aguirre, N., Association for Computing Machinery Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Computer Society Technical Council on Software Engineering (TCSE)Materias: “...Software architecture...”
CONF