Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Formal Description
4
Formal specification
4
Algebra
2
Algebraic specifications
2
Behavioral model
2
Behavioral modeling
2
Computer circuits
2
Declarative Languages
2
Declarative models
2
Declarative semantics
2
Formal Specifications
2
Formal definition
2
Formal development
2
Formal systems
2
Logic-based approach
2
NASA
2
Operational commitments
2
Prototype verification systems
2
Regular properties
2
Requirements Engineering
2
Requirements engineering
2
Reusability
2
Semantics
2
Software design
2
Specification languages
2
Temporal logic
2
Theorem proving
2
Universal algebra
2
-
1Publicado 2018Materias: “...Formal Description...”
-
2Materias: “...Formal Description...”
SER -
3
-
4Materias: “...Formal Description...”
JOUR