Suggested Topics within your search.
Suggested Topics within your search.
1
By:
Álvarez Piñeiro, Claudia Patricia, Álvarez Piñeiro, Claudia Patricia, Informática
Published: 2013
Published: 2013
Fuente: Escuela Colombiana de Ingeniería
Subjects: ';
“...Simulación...”
Tipo de material: Artículo de revista
2
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Documento de Conferencia
3
By:
Cadavid-Rengifo, Héctor, Ospina Hernandez, Gerardo, Cadavid-Rengifo, Héctor, Ospina Hernandez, Gerardo, Informática
Published: 2014
Published: 2014
Fuente: Escuela Colombiana de Ingeniería
Subjects: ';
“...Métodos de simulación...”
Tipo de material: Artículo de revista
4
By:
Cadavid Rengifo, Héctor Fabio, Chaparro Preciado, Javier Alberto, Cadavid Rengifo, Héctor Fabio, Chaparro Preciado, Javier Alberto, Informática
Published in: 2016 IEEE Colombian Conference on Robotics and Automation (CCRA) (2016)
Published in: 2016 IEEE Colombian Conference on Robotics and Automation (CCRA) (2016)
Fuente: Escuela Colombiana de Ingeniería
“...-for robot automation in agriculture, supported by a simulation platform that allows quick prototyping...”
Tipo de material: Capítulo - Parte de Libro
5
By:
Rocha, Camilo, Meseguer, José, Muñoz, César, Rocha, Camilo, Meseguer, José, Muñoz, César, Informática
Published: 2016
Published: 2016
Fuente: Escuela Colombiana de Ingeniería
Subjects: ';
“...Simulación formal y verificación...”
Tipo de material: Artículo de revista
6
By:
Muñoz, César, Rocha Niño, Hernán Camilo, Muñoz, César, Rocha Niño, Hernán Camilo, Informática
Published: 2014
Published: 2014
Fuente: Escuela Colombiana de Ingeniería
Subjects: ';
“...Simulación formal y verificación...”
Tipo de material: Artículo de revista
7
By:
Cadavid Rengifo, Hector Fabio, Rocha, Camilo, Muñoz, Cesar, Cadavid Rengifo, Hector Fabio, Rocha, Camilo, Muñoz, Cesar, Informática
Published in: Lecture Notes in Computer Science (2012)
Published in: Lecture Notes in Computer Science (2012)
Fuente: Escuela Colombiana de Ingeniería
“... with support for formula editing and visualization of counterexamples, interactive simulation of plans...”
Tipo de material: Artículo de revista
8
By:
Rocha, Camilo, Cadavid, Héctor, Siminiceanu, Radu, Rocha, Camilo, Cadavid, Héctor, Siminiceanu, Radu, Informática
Published in: Integrated Formal Methods (2012)
Published in: Integrated Formal Methods (2012)
Fuente: Escuela Colombiana de Ingeniería
“... with support for formula editing and visualization of counterexamples, interactive simulation of plans...”
Tipo de material: Artículo de revista
9
By:
Cadavid Rengifo, Héctor Fabio, Chaparro Preciado, Javier Alberto, Cadavid Rengifo, Héctor Fabio, Chaparro Preciado, Javier Alberto, Informática
Published: 2016
Published: 2016
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Capítulo - Parte de Libro
10
By:
Rocha, Camilo, Muñoz, César, Dowek, Gilles, Rocha, Camilo, Muñoz, César, Dowek, Gilles, Informática
Published: 2011
Published: 2011
Fuente: Escuela Colombiana de Ingeniería
“... serialization procedure that enables the simulation of synchronous set relations via set rewriting systems...”
Tipo de material: Artículo de revista
11
By:
Rocha, Camilo, Meseguer, José, Rocha, Camilo, Meseguer, José, Informática
Published in: Specification, Algebra, and Software (2014)
Published in: Specification, Algebra, and Software (2014)
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Capítulo - Parte de Libro
12
By:
Cadavid, Héctor, Garzón, Wilmer, Pérez, Alexander, López, Germán, Mendivelso, Cristian, Ramírez, Carlos, Cadavid, Héctor, Garzón, Wilmer, Pérez, Alexander, López, Germán, Mendivelso, Cristian, Ramírez, Carlos, Informática
Published in: Advances in Computing (2018)
Published in: Advances in Computing (2018)
Fuente: Escuela Colombiana de Ingeniería
“... and then showcased in a scenario with simulated sensors. In such scenario early warnings of an important plant...”
Tipo de material: Capítulo - Parte de Libro
13
By:
Fougères, Alain-Jérôme, Ospina, Victoria Eugenia, Fougères, Alain-Jérôme, Ospina, Victoria Eugenia, Informática
Published in: 2010 10th International Conference on Intelligent Systems Design and Applications (2011)
Published in: 2010 10th International Conference on Intelligent Systems Design and Applications (2011)
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Capítulo - Parte de Libro
14
By:
Dowek, Gilles, Muñoz, César, Rocha, Camilo, Dowek, Gilles, Muñoz, César, Rocha, Camilo, Informática
Published: 2010
Published: 2010
Fuente: Escuela Colombiana de Ingeniería
“... for simulating synchronous set relations in rewriting logic that is sound and, for deterministic relations...”
Tipo de material: Artículo de revista
15
By:
Ospina-Becerra, Victoria Eugenia, Fougères, Alain-Jérôme, Ospina-Becerra, Victoria Eugenia, Fougères, Alain-Jérôme, Informática
Published: 2009
Published: 2009
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Artículo de revista
16
By:
Cadavid, Héctor, Andrikopoulos, Vasilios, Avgeriou, Paris, Klein, John, Cadavid, Héctor, Andrikopoulos, Vasilios, Avgeriou, Paris, Klein, John, Informática
Published in: ESEM '20: Proceedings of the 14th ACM (2020)
Published in: ESEM '20: Proceedings of the 14th ACM (2020)
Fuente: Escuela Colombiana de Ingeniería
“... not considered when modeling or
simulating the system.
Conclusions: The survey indicates the need for tighter...”
Tipo de material: Capítulo - Parte de Libro
17
By:
Cadavid, Héctor, Garzón, Wilmer, Pérez, Alexander, López, Germán, Mendivelso, Cristian, Ramírez, Carlos, Cadavid, Héctor, Garzón, Wilmer, Pérez, Alexander, López, Germán, Mendivelso, Cristian, Ramírez, Carlos, Informática
Published in: Communications in Computer and Information Science (2018)
Published in: Communications in Computer and Information Science (2018)
Fuente: Escuela Colombiana de Ingeniería
“... and then showcased in a scenario with simulated sensors. In such scenario early warnings of an important plant...”
Tipo de material: Artículo de revista
18
By:
Fougères, Alain-Jérôme, Ospina-Becerra, Victoria Eugenia, Fougères, Alain-Jérôme, Ospina-Becerra, Victoria Eugenia, Informática
Published: 2009
Published: 2009
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Artículo de revista