![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
6. CyPhy 2016: Pittsburgh, PA, USA
- Christian Berger, Mohammad Reza Mousavi, Rafael Wisniewski:
Cyber Physical Systems. Design, Modeling, and Evaluation - 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers. Lecture Notes in Computer Science 10107, Springer 2017, ISBN 978-3-319-51737-7 - Waheed Ahmad, Bugra M. Yildiz, Arend Rensink, Mariëlle Stoelinga
:
A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications. 1-16 - Kenichi Betsuno, Shota Matsumoto, Kazunori Ueda:
Symbolic Analysis of Hybrid Systems Involving Numerous Discrete Changes Using Loop Detection. 17-30 - Georgiana Caltais, Florian Leitner-Fischer, Stefan Leue, Jannis Weiser:
SysML to NuSMV Model Transformation via Object-Orientation. 31-45 - Shafiul Azam Chowdhury, Taylor T. Johnson
, Christoph Csallner:
CyFuzz: A Differential Testing Framework for Cyber-Physical Systems Development Environments. 46-60 - Fergus Leahy
, Naranker Dulay:
Ardán: Using 3D Game Engines in Cyber-Physical Simulations (Tool Paper). 61-70 - Sebastian Schlesinger, Paula Herber, Thomas Göthel, Sabine Glesner:
Proving Correctness of Refactorings for Hybrid Simulink Models with Control Flow. 71-86 - Stefan Schwab
, Bernd Holzmüller, Sören Hohmann:
Automated Verification of Switched Systems Using Hybrid Identification. 87-100 - Ken Vanherpen
, Joachim Denil
, Paul De Meulenaere
, Hans Vangheluwe
:
Ontological Reasoning as an Enabler of Contract-Based Co-design. 101-115 - Jonas Westman, Mattias Nyberg, Oscar Thydén:
CPS Specifier - A Specification Tool for Safety-Critical Cyber-Physical Systems. 116-125
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.