Cited By
View all- Zhang ZPorter JEyisi EKarsai GKoutsoukos XSztipanovits JLu CKumar PStoleru R(2013)Co-simulation framework for design of time-triggered cyber physical systemsProceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems10.1145/2502524.2502541(119-128)Online publication date: 8-Apr-2013
- Neumann SKluge NWätzoldt SOber I(2012)Automatic transformation of abstract AUTOSAR architectures to timed automataProceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems10.1145/2432631.2432641(55-60)Online publication date: 30-Sep-2012
- Denil JVangheluwe HRamaekers PDe Meulenaere PDemeyer SWainer GTraoré MHeckel RHimmelspach J(2011)DEVS for AUTOSAR platform modellingProceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium10.5555/2048476.2048484(67-74)Online publication date: 3-Apr-2011
- Show More Cited By