Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Model checking
Specification languages
Behavioral properties
4
Property specification language
4
Specifications
4
Computer circuits
2
Design notations
2
Effective translation
2
Embedded systems
2
Formal languages
2
Formal logic
2
Inverse operators
2
Inverse problems
2
Knowledge engineering
2
Method of modeling
2
Modal models
2
Model checking algorithm
2
Model checking tools
2
Model driven design
2
Models
2
Modifiability
2
Petri nets
2
Property Specification
2
Prototype tools
2
Quality attributes
2
Real-time embedded systems
2
Response patterns
2
Scenario-based languages
2
Schedulability analysis
2
Software engineering
2
-
1
-
2
-
3
-
4
-
5
-
6