Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Behaviour models
28
Computer software
12
Modal Transition Systems
12
Software engineering
10
Abstracting
8
Mathematical models
8
Behaviour modelling
6
Controller synthesis
6
Finite-state abstraction
6
Labelled transition systems
6
Level of abstraction
6
Semantics
6
Specifications
6
Artificial intelligence
4
Code understanding
4
Controllers
4
Emergent behaviours
4
Global representation
4
Global view
4
Goal models
4
Infinite state
4
Iterative development
4
Model checking
4
Modular reasoning
4
Partial information
4
Software development process
4
Synthesis techniques
4
behaviour models
4
code understanding
4
contract conformance
4
Buscar alternativas:
"Behaviour models" » "Behaviour model" (Expander búsqueda), "Behaviour modelo" (Expander búsqueda)
"Behaviour models" » "Behaviour model" (Expander búsqueda), "Behaviour modelo" (Expander búsqueda)
-
1
-
2
-
3
-
4Publicado 2016Materias: “...Behaviour models...”
-
5Materias: “...Behaviour models...”
JOUR -
6
-
7
-
8Materias: “...Behaviour models...”
CONF -
9Publicado 2008Materias: “...Partial Behaviour Models...”
-
10
-
11Materias: “...Partial behaviour models...”
-
12Materias: “...Partial behaviour models...”
CONF -
13Publicado 2009Materias: “...Behaviour models...”
-
14Materias: “...Behaviour models...”
SER -
15
-
16Materias: “...Behaviour models...”
SER -
17Materias: “...behaviour model synthesis...”
-
18Materias: “...behaviour model synthesis...”
CONF -
19Materias: “...Behaviour models...”
-
20Materias: “...Behaviour models...”
CONF