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