IET Cyber-Physical Systems: Theory & Applications is inviting submissions for a Special Issue on Verification and Validation of Cyber-Physical Systems.


Our guest editors are looking for original research and review articles in areas including (but not limited to): 


V&V of requirements, architectures, and designs

Model checking of CPS 

Formal verification of CPS

Semi-automated testing of CPS

View the full scope for this Special Issue


Submit paper


Why publish with IET Cyber-Physical Systems: Theory & Applications? 


Worldwide readership 

Online submission and tracking for up-to-date progress of your paper

Prompt and rigorous peer review

Open access publishing to satisfy the requirements of funding bodies, with publishing fees waived until 2018

IET Journals are available online via the IET Digital Library (http://digital-library.theiet.org/content/journals/iet-cps), and IEEE Xplore for easy sharing of your research

Articles published online immediately on acceptance, in advance of issue publication, making your research available at the earliest opportunity