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