Stop the war!
Остановите войну!
for scientists:
default search action
CPS Data 2016: Vienna, Austria
- 2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS, CPS Data 2016, Vienna, Austria, April 11, 2016. IEEE Computer Society 2016, ISBN 978-1-5090-1154-4
- Tobias Käfer, Andreas Harth, Sebastien Mamessier:
Towards declarative programming and querying in a distributed Cyber-Physical System: The i-VISION case. 1-6 - Marco Steger, Michael Karner, Joachim Hillebrand, Werner Rom, Kay Römer:
A security metric for structured security analysis of cyber-physical systems supporting SAE J3061. 1-6 - Florian Grützmacher, Benjamin Beichler, Christian Haubelt, Bart D. Theelen:
Dataflow-based modeling and performance analysis for online gesture recognition. 1-8 - Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu:
Towards the verification of temporal data consistency in Real-Time Data Management. 1-6 - Kaliappa Ravindran, Mohammad Rabby, Michael Iannelli:
Data-oriented abstraction of virtual sensors for embedded software systems. 1-6 - Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, Peter Fritzson, Jörg Brauer, Christian Kleijn, Thierry Lecomte, Markus Pfeil, Ole Green, Stylianos Basagiannis, Andrey Sadovykh:
Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project. 1-6 - Peter Fogh, Thomas C. Hald, Brian Nielsen:
WUppaal: A web-service for the Uppaal model-checker. 1-6 - Björn Butzin, Björn Konieczek, Frank Golatowski, Dirk Timmermann, Christoph Fiehe:
Applying the BaaS reference architecture on different classes of devices. 1-6
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.