1 – 4 of 4
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2021
-
Mark
Cyber-Physical Systems: A Model-Based Approach
2021)(
- Book/Report › Book
-
Mark
Open source languages and methods for cyber-physical system development : Overview and case studies
(
- Contribution to journal › Article
- 2020
-
Mark
Sound over-approximation of probabilities
(
- Contribution to journal › Article
- 2011
-
Mark
Dependable Automotive Systems based on Model Certified Components
2011) 2011 Automotive CPS Workshop(
- Contribution to conference › Paper, not in proceeding