Logo

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

Papers by Sébastien Furic:

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


Title: Statecharts as a Means to Control Plant Models in LMS Imagine.Lab AMESim
Authors: Sébastien Furic, Loïc Wagner and Vincent Berthoux
Links: Abstract, Full paper