Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Computer software
Java programming language
3
Cerium alloys
2
Model checking
2
Program translators
2
Propositional variables
2
Software engineering
2
Specifications
2
Abstracting
1
Alloy
1
Alloy languages
1
Alloying
1
Atomic actions
1
Atomic transition
1
Autopilot systems
1
Boolean functions
1
Bounded verifications
1
Case studies
1
Code analysis
1
Computer software reusability
1
Data flow analysis
1
Data handling
1
Data structures
1
Dataflow analysis
1
DynAlloy
1
Dynamic logic
1
Dynamic logics
1
Empirical evaluations
1
Example based
1
Final states
1
-
1
-
2
-
3por Galeotti, Juan Pablo, Rosner, Nicolás, López Pombo, Carlos Gustavo, Frias, Marcelo
Publicado 2013 -
4