Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Computer software
Behaviour models
5
Abstracting
3
Finite-state abstraction
3
Mathematical models
3
Algorithms
2
Code understanding
2
Emergent behaviours
2
Global representation
2
Global view
2
Goal models
2
Infinite state
2
Java programming language
2
Modal Transition Systems
2
Modular reasoning
2
Scenarios
2
Specifications
2
Synthesis techniques
2
Time series analysis
2
behaviour models
2
code understanding
2
contract conformance
2
Animation
1
Arbitrary sets
1
Atmospheric pressure
1
Atmospheric pressure plasma jets
1
Atmospheric temperature
1
Atomic models
1
Automatic Generation
1
Automatic programming
1
-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10
-
11
-
12
-
13