Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Automata-based formalisms
Automata theory
2
Automated Legislative Drafting
2
Component implementations
2
Contract Verification
2
External behavior
2
Formal Semantics
2
Formal methods
2
Formal studies
2
Interface automata
2
Interface states
2
Laws and legislation
2
Modal Transition Systems
2
Modeling formalisms
2
Permissions
2
Requirements specifications
2
Semantics
2
Software systems
2
Strictness analysis
2
-
1
-
2
-
3
-
4