Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Automated Legislative Drafting
2
Computer aided software engineering
2
Contract Verification
2
Data structures
2
Laws and legislation
2
Model checking
2
Timed automata
2
Verification
2
Artificial intelligence
1
Automata theory
1
Automata-based formalisms
1
Difference Bound Matrices
1
Eclipse plug-in
1
Formal Semantics
1
Formal analysis
1
Formal methods
1
Formal studies
1
Hypervolume approximation
1
Kanger's Types
1
LAPSUS
1
Large scale systems
1
OBSSLICE
1
Permissions
1
Real time systems
1
Semantics
1
Strictness analysis
1
Timed model checking
1
VTS
1
ZEUS
1
-
1Materias: “...Verification...”
SER -
2Materias: “...Contract Verification...”
SER -
3Materias: “...Contract Verification...”
SER -
4por Cavatorta, L., De Caso, G., Ferrari, A., Braberman, V., Garbervetsky, D., Kicillof, N., Schapachnik, F., Olivero, A.Materias: “...Verification...”
CONF