


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.