Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Algorithms
4
Formal logic
4
Semantics
4
Backwards verification
3
Chaos theory
3
Chaotic iteration
3
Finite automata
3
Fixpoint
3
Iterative methods
3
Mathematical models
3
Mathematical operators
3
Set theory
3
Timed automata (TA)
3
Logic-based approach
2
Adaptive control systems
1
Adaptive systems
1
Automata theory
1
Behavioral model
1
Behavioral modeling
1
Control equipment
1
Control theory
1
Controller synthesis
1
Controllers
1
DBM
1
Data structures
1
Declarative Languages
1
Declarative models
1
Declarative semantics
1
Difference Bound Matrices (DBM)
1
Distributed timed model checking
1
-
1Materias: “...Temporal logic...”
JOUR -
2Materias: “...Formal logic...”
Artículo publishedVersion -
3Materias: “...Formal logic...”
Artículo publishedVersion -
4Materias: “...Formal logic...”
JOUR -
5por D'Ippolito, N., Braberman, V., Sykes, D., Uchitel, S., ACM Special Interest Group on Software Engineering (SIGSOFT)Materias: “...Logic-based approach...”
CONF -
6Materias: “...Formal logic...”
JOUR