Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Behavioral properties
Specification languages
Formal languages
4
Model checking
4
Property Specification
4
Software verification
4
Specification patterns
4
Specifications
4
Behavioral model
2
Behavioral modeling
2
Computational linguistics
2
Computer hardware description languages
2
Effective translation
2
Embedded systems
2
Graphical languages
2
Knowledge engineering
2
Model checking tools
2
Model driven design
2
Models
2
Modifiability
2
Pattern representation
2
Pattern specifications
2
Petri nets
2
Property specification language
2
Quality attributes
2
Real-time embedded systems
2
Requirements engineering
2
Response patterns
2
Scenario-based languages
2
Schedulability analysis
2
-
1
-
2
-
3
-
4
-
5
-
6