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
-
141Publicado 2018Materias: “...Model checking...”
-
142por Braberman, V., Garbervetsky, D., Godoy, J., Uchitel, S., De Caso, G., Perez, I., Perez, S., Garci A., Pasareanu C.S., Leavens G.T.Materias: “...Model checking...”
CONF -
143por Gómez Leo, Osvaldo RobertoMaterias: “...Checks Argentina....”
Publicado 2014
Aportado por: Biblioteca Max von Buch (UdeSA)Libro -
144Publicado 2009Materias: “...Model checking...”
-
145Materias: “...Model checking...”
CONF -
146por Busetto, Adalberto L.Materias: “...Checks Argentina....”
Publicado 2022
Aportado por: Biblioteca Max von Buch (UdeSA)Libro electrónico -
147Publicado 2013Materias: “...Model checking...”
-
148Materias: “...Model checking...”
JOUR -
149Incorporating coverage criteria in bounded exhaustive black box test generation of structural inputsMaterias: “...Model checking...”
-
150Materias: “...Model checking...”
-
151Incorporating coverage criteria in bounded exhaustive black box test generation of structural inputsMaterias: “...Model checking...”
SER -
152Materias: “...Model checking...”
JOUR -
153Publicado 2018Materias: “...Type checking...”
-
154Materias: “...Type checking...”
CONF -
155Publicado 2015Materias: “...Model-checking techniques...”
-
156Materias: “...Model-checking...”
-
157Materias: “...Model-checking...”
Artículo publishedVersion -
158Materias: “...Model-checking...”
Artículo publishedVersion -
159Materias: “...Model-checking techniques...”
SER -
160Materias: “...Model-checking...”
JOUR