Suggested Topics within your search.
1
Cover Image
Automatic proof-search heuristics in the Maude invariant analyzer tool
By: Rocha, Camilo, Rocha, Camilo, Informática
Published: 2013
Fuente: Escuela Colombiana de Ingeniería
Subjects: '; “...Sistemas interactivos (computadores)...”
Tipo de material: Capítulo - Parte de Libro
Save to List
Saved in:
2
Cover Image
A Graphical Environment for the Semantic Validation of a Plan Execution Language
By: Rocha, Camilo, Muñoz, Cesar, Cadavid, Hector, Rocha, Camilo, Muñoz, Cesar, Cadavid, Hector, Informática
Published: 2009
Fuente: Escuela Colombiana de Ingeniería
Subjects: '; “...Sistemas interactivos...”
Tipo de material: Capítulo - Parte de Libro
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search