Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Model checking
74
Ciencias Informáticas
29
Automata theory
22
Data structures
18
Specifications
18
Software engineering
16
Timed automata
16
Computation theory
12
Distributed computer systems
12
Real time systems
12
ZEUS
11
CHECKS
10
Computer software
10
Program processors
10
MODEL CHECKING
9
model checking
9
Distributed timed model checking
8
Formal methods
8
Mathematical models
8
Reachability
8
Verification
8
Semantics
7
Algorithms
6
Artificial intelligence
6
Computer aided software engineering
6
Computer architecture
6
Data storage equipment
6
Formal logic
6
Inductive learning
6
Java programming language
6
-
81Materias: “...model checking...”
JOUR -
82por Frati, Fernando EmmanuelMaterias: “...Error-checking...”
Publicado 2014
Aportado por: SEDICI (UNLP)Tesis Trabajo de especializacion -
83
-
84Materias: “...Consistency checks...”
CONF -
85Publicado 1998Materias: “...Model checking...”
-
86Publicado 2012Materias: “...Model checking...”
-
87Materias: “...Model checking...”
Artículo publishedVersion -
88Materias: “...Model checking...”
Artículo publishedVersion -
89por Areces, C., Felder, M., Hirsch, D., Yankelevich, D., ACM Special Interest Group on Software Engineering (SIGSOFT)Materias: “...Model checking...”
CONF -
90Materias: “...Model checking...”
SER -
91Materias: “...Model checking tools...”
-
92Materias: “...Model checking tools...”
CONF -
93
-
94
-
95por Frati, Fernando EmmanuelMaterias: “...Error-checking...”
Publicado 2015
Aportado por: SEDICI (UNLP)Tesis Tesis de doctorado -
96Publicado 2010Materias: “...Checks Argentina....”
Aportado por: Biblioteca Max von Buch (UdeSA)Libro -
97Publicado 2013Materias: “...model checking...”
-
98Materias: “...model checking...”
JOUR -
99
-
100