vladestivillcastro

3 Slideshow
Sort by
Verifiable Parameterised Behaviour Models For Robotic and Embedded Systems
byvladestivillcastro
 
High Performance Relaying of C++11 Objects Across Processes and Logic-Labeled Finite-State Machines” Simpar2014
byvladestivillcastro
 
Aswec2014 Correctness by Construction with Logic-Labeled Finite-State Machines – Comparison with Event-B'
byvladestivillcastro