Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Abstracting
3
Behaviour models
3
Computer software
3
Finite-state abstraction
Code understanding
2
Emergent behaviours
2
Global representation
2
Global view
2
Infinite state
2
Modular reasoning
2
Synthesis techniques
2
behaviour models
2
code understanding
2
contract conformance
2
Animation
1
Based specification
1
Finite model
1
Industrial strength
1
Level of abstraction
1
Novel techniques
1
Pre/post conditions
1
Protocol specifications
1
Specifications
1
-
1Materias: “...Computer software...”
-
2
-
3