Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Abstracting
2
Computer software
Based specification
1
Behaviour models
1
Behaviour validation
1
Communication
1
Concise representations
1
Design
1
Finite model
1
Finite-state abstraction
1
Formal methods
1
Industrial strength
1
Level of abstraction
1
Novel techniques
1
Pre/post conditions
1
Programming tasks
1
Protocol specifications
1
Source codes
1
Specifications
1
enabledness-preserving abstractions
1
-
1
-
2