Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Java programming language
4
Computer software
3
Java-like programs
3
Memory requirements
3
Static analysis
3
Automatic programming
2
Compile time
2
Dynamic memory
2
Memory management
2
Memory organizations
2
Memory usage
2
Program variables
2
Real time systems
2
Real-time specification for javas
2
Semi-automatics
2
Time series analysis
2
Aircraft accidents
1
Aircraft collisions
1
Analysis techniques
1
Analysis-based approaches
1
Bernstein bases
1
Boolean functions
1
Bounded verifications
1
Case-studies
1
Chemical analysis
1
Ciencias Informáticas
1
Closed form
1
Computer programming
1
Data flow analysis
1
Dataflow analysis
1
-
1
-
2Materias: “...Java-like programs verification...”
-
3por Garbervetsky, Diego, Braberman, Víctor Adrián, Rouaux, Martín, Taboada, Alejandro DaríoMaterias: “...Java-like programs...”
Publicado 2009
-
4por Garbervetsky, Diego, Braberman, Víctor Adrián, Rouaux, Martín, Taboada, Alejandro DaríoMaterias: “...Java real-time...”
Publicado 2011
-
5Materias: “...Java...”
-
6
-
7Materias: “...Java-like programs...”