Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Automata theory
4
Computer programming languages
4
Compositional modeling
3
Key modeling
3
Mathematical models
3
Statistical methods
3
Timed Automata
3
Software engineering
2
Case-studies
1
Chemical analysis
1
Computer aided analysis
1
Computer aided verification techniques
1
Computer programming
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...”
Artículo publishedVersion -
2Materias: “...Computer programming languages...”
Artículo publishedVersion -
3
-
4Materias: “...Computer programming languages...”
CONF -
5Materias: “...Computer programming...”
JOUR