Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Repositorios
14
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Ciencias Informáticas
14
Formal models
12
Informática
3
SOFTWARE ENGINEERING
3
modelos
3
Frameworks
2
ARTIFICIAL INTELLIGENCE
1
BPMN
1
Business
1
Communications Management
1
DSL
1
Domain engineering
1
Formal models of communication
1
Herramientas de verificación automática
1
Ingeniería de software
1
Language Classifications
1
Lógica dinámica
1
MDA
1
MDE
1
Model classification
1
Modeling
1
Modelización y verificación formal
1
Modelos
1
Multiagent systems
1
OOD
1
Object representation
1
Probabilistic computation
1
QVT
1
Real time
1
Representation
1
Buscar alternativas:
formal » forma (Expander búsqueda)
"Formal models" » "Formal model" (Expander búsqueda), "Formal modelo" (Expander búsqueda)
formal » forma (Expander búsqueda)
"Formal models" » "Formal model" (Expander búsqueda), "Formal modelo" (Expander búsqueda)
-
1
-
2
-
3
-
4
-
5por Delrieux, ClaudioMaterias: “...Formal models...”
Publicado 2002
Aportado por: SEDICI (UNLP)Objeto de conferencia -
6
-
7por Larrea, Martín Leonardo, Escarza, Sebastián, Urribarri, Dana K., Martig, Sergio R., Castro, Silvia MabelMaterias: “...Formal models...”
Publicado 2012
Aportado por: SEDICI (UNLP)Objeto de conferencia -
8
-
9
-
10
-
11
-
12por Salgado, Carlos Humberto, Peralta, Mario, Berón, Mario, Montejano, Germán Antonio, Riesco, Daniel EduardoMaterias: “...Formal models...”
Publicado 2012
Aportado por: SEDICI (UNLP)Objeto de conferencia -
13
-
14Materias: “...formal modeling; system evolution; model evolution; dynamic logic; UML...”
Aportado por: SEDICI (UNLP)Articulo