vladestivillcastro
3 SlideShares 1 Siguiendo
Etiquetas
model-driven development software engineering model checking state machines testing and validation of robot software software architecture for robots. modeling tools a logic-labeled finite-state machines robotic middleware simulation formal verification logic-labelled finite-state machines.
Ver más

Presentaciones

(3)

Aswec2014 Correctness by Construction with Logic-Labeled Finite-State Machines – Comparison with Event-B'

Hace 9 años • 548 Visualizaciones

High Performance Relaying of C++11 Objects Across Processes and Logic-Labeled Finite-State Machines” Simpar2014

Hace 9 años • 892 Visualizaciones

Verifiable Parameterised Behaviour Models For Robotic and Embedded Systems

Hace 6 años • 231 Visualizaciones

Recomendaciones

(1)

Model Transformation: A survey of the state of the art

Tom Mens • Hace 8 años
Etiquetas
model-driven development software engineering model checking state machines testing and validation of robot software software architecture for robots. modeling tools a logic-labeled finite-state machines robotic middleware simulation formal verification logic-labelled finite-state machines.
Ver más