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 modelo" (Expander búsqueda), "behaviour model" (Expander búsqueda)
"behaviour models" » "behaviour modelo" (Expander búsqueda), "behaviour model" (Expander búsqueda)
-
1
-
2
-
3
-
4Publicado 2016Materias: “...Behaviour models...”
-
5Materias: “...Behaviour models...”
JOUR -
6
-
7
-
8Materias: “...Behaviour models...”
CONF -
9por Marti Puig, Pere, Cusidó, Jordi, Lozano, Francisco J., Serra Serra, Moises, Caiafa, Cesar Federico, Solé Casals, JordiMaterias: “...normal behaviour models...”
Publicado 2022
Aportado por: SEDICI (UNLP)Articulo -
10Publicado 2008Materias: “...Partial Behaviour Models...”
-
11
-
12Materias: “...Partial behaviour models...”
-
13Materias: “...Partial behaviour models...”
CONF -
14Publicado 2009Materias: “...Behaviour models...”
-
15Materias: “...Behaviour models...”
SER -
16
-
17Materias: “...Behaviour models...”
SER -
18Materias: “...behaviour model synthesis...”
-
19Materias: “...behaviour model synthesis...”
CONF -
20Materias: “...Behaviour models...”