Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Model checking
57
Automata theory
20
Data structures
18
Specifications
17
Timed automata
14
Software engineering
13
Real time systems
11
Computation theory
10
Distributed computer systems
10
Computer software
9
ZEUS
9
Program processors
8
Distributed timed model checking
7
Reachability
7
Computer aided software engineering
6
Formal logic
6
Inductive learning
6
Java programming language
6
MODEL CHECKING
6
Mathematical models
6
Operational requirements
6
Semantics
6
Software testing
6
Specification languages
6
Symbolic execution
6
Verification
6
Algorithms
5
Artificial intelligence
5
Computer architecture
5
Data storage equipment
5
-
1Materias: “...CHECK-LIST...”
Artículo publishedVersion -
2Materias: “...CHECK-LIST...”
-
3Publicado 2016Materias: “...Model checking...”
-
4Materias: “...Model checking...”
JOUR -
5Publicado 2017Materias: “...Software model checking...”
-
6por Castano, R., Braberman, V., Garbervetsky, D., Uchitel, S., Nguyen T.N., Rosu G., Di Penta M., College of Engineering; Denso; et al.; Microsoft; NASA; University of Minnesota, Software EngineeringMaterias: “...Software model checking...”
CONF -
7por Castaño, RodrigoMaterias: “...MODEL CHECKING...”
Publicado 2018
Tesis doctoral publishedVersion -
8
-
9por Cavatorta, Lucía Irene, de Caso, Guido, Braberman, Víctor Adrián, Garbervetsky, Diego, Kicillof, Nicolás, Schapachnik, Fernando PabloMaterias: “...Timed model checking...”
Publicado 2006
-
10por Cavatorta, L., De Caso, G., Ferrari, A., Braberman, V., Garbervetsky, D., Kicillof, N., Schapachnik, F., Olivero, A.Materias: “...Timed model checking...”
CONF -
11por Regis, Germán EnriqueMaterias: “...MODEL CHECKING...”
Publicado 2014
Tesis doctoral publishedVersion -
12
-
13Materias: “...Model Checking Regulations...”
-
14Materias: “...Model Checking Regulations...”
SER -
15Publicado 2009Materias: “...Model checking problem...”
-
16Materias: “...Model checking problem...”
SER -
17
-
18Publicado 2015Materias: “...Logic model checking...”
-
19por Regis, G., Degiovanni, R., D'Ippolito, N., Aguirre, N., Association for Computing Machinery Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Computer Society Technical Council on Software Engineering (TCSE)Materias: “...Logic model checking...”
CONF -
20Materias: “...Model checking tools...”
SER