News
Modelling and verification course – ocps-itn.euocps-itn.eu › event › modelling-and-verification-course
ocps-itn.eu
Semantics of Esterel (Samarjit Chakraborty, TUM). Wednesday, 5 April, ———————— 10:00 – 11:30. Lab session I: Model checking ...
Platform-Aware Design of Embedded Controllers
ercim-news.ercim.eu
ERCIM News, the quarterly magazine of the European Research Consortium for Informatics and Mathematics
BSN : The 8th International Conference on Body Sensor Networks...
www.wikicfp.com
Samarjit Chakraborty, Technical University of Munich, Germany Sandeep Gupta, Arizona State University, USA Scott Drawer, UK Sport, UK Steffen Leonhardt,
sorted by relevance / date