Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Embedded systems
Petri nets
Behavioral properties
2
Design of real time systems
2
Effective translation
2
Formal analysis of design specification
2
Formal design specification
2
Model checking
2
Model checking tools
2
Model driven design
2
Models
2
Property specification language
2
Real time systems
2
Real-time embedded systems
2
Schedulability analysis
2
Software engineering
2
Specification and verification
2
Specification languages
2
Structural design
2
Structured design
2
Structured programming
2
Tools
2
-
1
-
2
-
3
-
4