


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














