(1 - 10 von 13
)
Programme – FORMATS 2017
formats17.ulb.be
18:00-18:30, Time-Triggered Conversion of Guards for Reachability Analysis of Hybrid Automata Stanley Bak, Sergiy Bogomolov and Matthias Althoff. From 19: ...
sortiert nach Relevanz / Datum