Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Flowcharting
2
Labeled transition systems
2
MTS
2
Modal Transition Systems
Operational behavior
2
Partial behavior models
2
Scenario-based languages
Scenario-based specifications
2
Scenarios
2
Semantics
2
Specification languages
Specifications
2
Synthesis (chemical)
2
partial behavior models
2
synthesis
2
-
1
-
2