Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Abstraction techniques
Abstracting
2
Behavior model
2
Component analysis
2
Concrete state
2
Distributed real time system
2
Engineering activities
2
Event pattern
2
Finite model
2
Industrial strength
2
Location
2
Model checking
2
Novel techniques
2
Object oriented programming
2
Occurrence pattern
2
Protocol specifications
2
Reachability
2
Real time systems
2
Requirements/specifications
2
Software engineering
2
Specifications
2
State explosion
2
State machine
2
Time sharing systems
2
automated abstraction
2
validation
2
-
1
-
2
-
3
-
4