Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Semantics
Algorithms
1
Backwards verification
1
Behavioral model
1
Behavioral modeling
1
Chaos theory
1
Chaotic iteration
1
Declarative Languages
1
Declarative models
1
Declarative semantics
1
Finite automata
1
Fixpoint
1
Formal Description
1
Formal Specifications
1
Formal logic
1
Formal specification
1
Iterative methods
1
Logic-based approach
1
Mathematical models
1
Mathematical operators
1
Operational commitments
1
Regular properties
1
Requirements Engineering
1
Requirements engineering
1
Set theory
1
Software design
1
Temporal logic
1
Timed automata (TA)
1
-
1Materias: “...Temporal logic...”
JOUR -
2Materias: “...Formal logic...”
JOUR