Real-time simulation support for runtime verification of cyber-physical systems

Zheng, Xi, Julien, Christine, Chen, Hongxu, Podorozhny, Rodion and Cassez, Franck 2017, Real-time simulation support for runtime verification of cyber-physical systems, ACM transactions on embedded computing systems, vol. 16, no. 4, pp. 1-24, doi: 10.1145/3063382.

Attached Files
Name Description MIMEType Size Downloads

Title Real-time simulation support for runtime verification of cyber-physical systems
Author(s) Zheng, XiORCID iD for Zheng, Xi orcid.org/0000-0002-2572-2355
Julien, Christine
Chen, Hongxu
Podorozhny, Rodion
Cassez, Franck
Journal name ACM transactions on embedded computing systems
Volume number 16
Issue number 4
Article ID 106
Start page 1
End page 24
Total pages 24
Publisher Association for Computing Machinery
Place of publication New York, N.Y.
Publication date 2017-09
ISSN 1539-9087
1558-3465
Keyword(s) computer systems organization
embedded and cyber physical systems
software
engineering
formal software verification
software testing
debugging
runtime verification
science & technology
technology
software engineering
computer science
Language eng
DOI 10.1145/3063382
Field of Research 0803 Computer Software
0805 Distributed Computing
1006 Computer Hardware
HERDC Research category C1 Refereed article in a scholarly journal
ERA Research output type C Journal article
Copyright notice ©2017, ACM
Persistent URL http://hdl.handle.net/10536/DRO/DU:30108163

Document type: Journal Article
Collection: School of Information Technology
Connect to link resolver
 
Unless expressly stated otherwise, the copyright for items in DRO is owned by the author, with all rights reserved.

Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 0 times in TR Web of Science
Scopus Citation Count Cited 0 times in Scopus
Google Scholar Search Google Scholar
Access Statistics: 5 Abstract Views, 3 File Downloads  -  Detailed Statistics
Created: Mon, 07 May 2018, 15:07:11 EST

Every reasonable effort has been made to ensure that permission has been obtained for items included in DRO. If you believe that your rights have been infringed by this repository, please contact drosupport@deakin.edu.au.