Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Specifications
Software engineering
3
Specification languages
3
Abstracting
2
Behavioral properties
2
Behaviour models
2
Computer software
2
Finite model
2
Formal languages
2
Industrial strength
2
Model checking
2
Novel techniques
2
Property Specification
2
Protocol specifications
2
Semantics
2
Software verification
2
Specification patterns
2
Verification
2
Abstraction techniques
1
Automata
1
Automata theory
1
Automatic technique
1
Based specification
1
Behavior model
1
Behavioral model
1
Behavioral modeling
1
Case-based approach
1
Case-based approaches
1
Computational linguistics
1
Computer hardware description languages
1
-
1Materias: “...Behavior model...”
-
2
-
3Materias: “...Behaviour models...”
-
4
-
5Materias: “...Partial behaviour models...”
-
6