Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Model checking
Models
Behavioral properties
2
Behaviour models
2
Declarative goals
2
Effective translation
2
Embedded systems
2
Engineering education
2
Goal models
2
Goal-oriented requirements engineering
2
Inductive learning
2
Iterative process
2
Logic programming
2
Machine-learning
2
Model checking tools
2
Model driven design
2
Operational requirements
2
Petri nets
2
Property specification language
2
Real-time embedded systems
2
Requirements engineering
2
Schedulability analysis
2
Specification and verification
2
Specification languages
2
Time progress
2
Tools
2
Zeno behaviour
2
-
1
-
2
-
3
-
4