Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Requirements specifications
Alloy languages
1
Atomic transition
1
Automata theory
1
Automata-based formalisms
1
Autopilot systems
1
Cerium alloys
1
Component implementations
1
Computer software
1
Dynamic logic
1
Example based
1
External behavior
1
Interface automata
1
Interface states
1
Linguistics
1
Modal Transition Systems
1
Modeling formalisms
1
Operational languages
1
SAT-solving
1
Software engineering
1
Software systems
1
Specifications
1
Tabular expressions
1
Tabular notation
1
Tabular specifications
1
Test harness
1
-
1Materias: “...Atomic transition...”
SER -
2Materias: “...Modal Transition Systems...”
SER