IET Cyber-Physical Systems: Theory & Applications Verification and Validation of Cyber-Physical Systems
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…