A problem has been found
A problem has ocurred in the communication with the server.
Please, try again later. If the problem persists, contact the admin
Home
Repositories
Authors
Document types
Statistics
About
Query
Advanced Search
Simple Search
Title
Author
Subject
Year
Refine your Search
Repository
37
(2)
Show More
Show Less
Author
García, Diego
(1)
Garelli, Fabricio
(1)
Picó, Jesús
(1)
Pons, Claudia
(1)
Vignoni, Alejandro
(1)
Show More
Show Less
Subject
Ciencias Informáticas
(1)
Control con restricciones
(1)
Coordinacion de sistemas
(1)
Ingeniería
(1)
Invarianza de conjuntos
(1)
MOF
(1)
Modos deslizantes
(1)
OCL
(1)
Object Constraint Language
(1)
Sistemas multi-agentes
(1)
Show More
Show Less
Year
2019
(2)
2008
(1)
2013
(1)
Show More
Show Less
Document Type
Artículo
(2)
Show More
Show Less
Language
Inglés
(1)
Español
(1)
Show More
Show Less
Your search
Subject:
Biological system modeling
Document Type:
Artículo
Repository:
37
Year:
2019
Sort by
Score
Title
Year
-
1-2 from
2
results
(0.01 seconds)
Title:
A Lightweight Approach for the Semantic Validation of Model Refinements
Author:
Pons, Claudia
/
García, Diego
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
model checking
/
model transformation
/
modeling
/
MOF
/
Object Constraint Language
/
OCL
/
refinement
/
testing
/
UML
/
validation
Acceder
Title:
Coordinación de sistemas con diferentes dinámicas utilizando conceptos de invarianza geométrica y modos deslizantes / Systems coordination: Using geometric set invariance and sliding modes ideas
Author:
Vignoni, Alejandro
/
Garelli, Fabricio
/
Picó, Jesús
Language:
Español
Repository:
37
Subject:
Ingeniería
/
Coordinacion de sistemas
/
Invarianza de conjuntos
/
Modos deslizantes
/
Sistemas multi-agentes
/
Control con restricciones
/
system
Acceder
« Previous
1
Next »