Logo

May 15–17, 2017 in Prague, Czech Republic
[Proceedings] [Sessions] [Authors] [Schedule] [Further material]

Papers by Simon Bliudze:

Title: An Operational Semantics for Hybrid Systems Involving Behavioral Abstraction
Authors: Simon Bliudze and Sébastien Furic
Links: Abstract, Full paper