Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Software engineering
Automata theory
1
Case-studies
1
Chemical analysis
1
Computer aided analysis
1
Computer aided verification techniques
1
Computer programming
1
Computer programming languages
1
Constraint theory
1
Embedded systems
1
Escaping objects
1
Heap memory requirements
1
Java-like programs
1
Memory requirements
1
Quantitative analysis
1
Quantitative bounds
1
Real time systems
1
Real-life applications
1
Resource consumption
1
Safety critical systems
1
Standalone applications
1
Static analysis
1
Systems engineering
1
Timed automaton model
1
VTS
1
-
1Materias: “...Computer programming languages...”
CONF -
2Materias: “...Computer programming...”
JOUR