Perceptions on the state of the art in verification and validation in cyber-physical systems

Zheng, Xi, Julien, Christine, Kim, Miryung and Khurshid, Sarfraz 2015, Perceptions on the state of the art in verification and validation in cyber-physical systems, IEEE systems journal, vol. 11, no. 4, pp. 2614-2627, doi: 10.1109/JSYST.2015.2496293.

Attached Files
Name Description MIMEType Size Downloads

Title Perceptions on the state of the art in verification and validation in cyber-physical systems
Author(s) Zheng, XiORCID iD for Zheng, Xi orcid.org/0000-0002-2572-2355
Julien, Christine
Kim, Miryung
Khurshid, Sarfraz
Journal name IEEE systems journal
Volume number 11
Issue number 4
Start page 2614
End page 2627
Total pages 14
Publisher IEEE
Place of publication Piscataway, N.J.
Publication date 2015-12
ISSN 1932-8184
1937-9234
Keyword(s) Science & Technology
Technology
Computer Science, Information Systems
Engineering, Electrical & Electronic
Operations Research & Management Science
Telecommunications
Computer Science
Engineering
Computational modeling
computer simulation
formal specifications
formal verification
networked control systems
software engineering
software testing
HYBRID SYSTEMS
LOGIC
Language eng
DOI 10.1109/JSYST.2015.2496293
HERDC Research category C1 Refereed article in a scholarly journal
Copyright notice ©2015, IEEE
Persistent URL http://hdl.handle.net/10536/DRO/DU:30112941

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 3 times in TR Web of Science
Scopus Citation Count Cited 0 times in Scopus
Google Scholar Search Google Scholar
Access Statistics: 6 Abstract Views, 0 File Downloads  -  Detailed Statistics
Created: Fri, 24 Aug 2018, 15:11:33 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.