Suggested Topics within your search.
1
Cover Image
MUNDOS VIRTUALES INMERSIVOS PARA EDUCACIÓN, TRABAJO COLABORATIVO Y SIMULACIÓN
By: Álvarez Piñeiro, Claudia Patricia, Álvarez Piñeiro, Claudia Patricia, Informática
Published: 2013
Fuente: Escuela Colombiana de Ingeniería
Subjects: '; “...Simulación...”
Tipo de material: Artículo de revista
Save to List
Saved in:
2
Cover Image
Simulation and Verification of Synchronous Set Relations in Rewriting Logic
By: Rocha, Camilo, Múñoz, César, Rocha, Camilo, Múñoz, César, Informática
Published: 2011
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Documento de Conferencia
Save to List
Saved in:
3
Cover Image
SIMULADOR PARA EL APOYO AL PROCESO DE MEJORAMIENTO CONTINUO DE PYMES CON TOC
By: Cadavid-Rengifo, Héctor, Ospina Hernandez, Gerardo, Cadavid-Rengifo, Héctor, Ospina Hernandez, Gerardo, Informática
Published: 2014
Fuente: Escuela Colombiana de Ingeniería
Subjects: '; “...Métodos de simulación...”
Tipo de material: Artículo de revista
Save to List
Saved in:
4
Cover Image
Hardware and software architecture for Plexil-based, simulation supported, robot automation
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)
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
Save to List
Saved in:
5
Cover Image
Rewriting modulo SMT and open system analysis
By: Rocha, Camilo, Meseguer, José, Muñoz, César, Rocha, Camilo, Meseguer, José, Muñoz, César, Informática
Published: 2016
Fuente: Escuela Colombiana de Ingeniería
Subjects: '; “...Simulación formal y verificación...”
Tipo de material: Artículo de revista
Save to List
Saved in:
6
Cover Image
Synchronous set relations in rewriting logic
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
Fuente: Escuela Colombiana de Ingeniería
Subjects: '; “...Simulación formal y verificación...”
Tipo de material: Artículo de revista
Save to List
Saved in:
7
Cover Image
A Formal Interactive Verification Environment for the Plan Execution Interchange Language
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)
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
Save to List
Saved in:
8
Cover Image
A Formal Interactive Verification Environment for the Plan Execution Interchange Language
By: Rocha, Camilo, Cadavid, Héctor, Siminiceanu, Radu, Rocha, Camilo, Cadavid, Héctor, Siminiceanu, Radu, Informática
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
Save to List
Saved in:
10
Cover Image
A formal library of set relations and its application to synchronous languages
By: Rocha, Camilo, Muñoz, César, Dowek, Gilles, Rocha, Camilo, Muñoz, César, Dowek, Gilles, Informática
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
Save to List
Saved in:
12
Cover Image
Towards a Smart Farming Platform: From IoT-Based Crop Sensing to Data Analytics
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)
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
Save to List
Saved in:
14
Cover Image
Rewriting Logic Semantics of a Plan Execution Language
By: Dowek, Gilles, Muñoz, César, Rocha, Camilo, Dowek, Gilles, Muñoz, César, Rocha, Camilo, Informática
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
Save to List
Saved in:
16
Cover Image
A Survey on the Interplay between Software Engineering and Systems Engineering during SoS Architecting
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)
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
Save to List
Saved in:
17
Cover Image
Towards a Smart Farming Platform: From IoT-Based Crop Sensing to Data Analytics
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)
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
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search