Formal Verification of Cyberphysical Systems

Authors
Publication date
1 January 2021
Publisher
'Institute of Electrical and Electronics Engineers (IEEE)'

Abstract

17 USC 105 interim-entered record; under review.Computer hosts a virtual roundtable with seven experts to discuss the formal specification and verification of cyberphysical systems.http://hdl.handle.net/10945/6944

    Similar works

    Full text

    thumbnail-image

    Available Versions

    Calhoun, Institutional Archive of the Naval Postgraduate School

    redirect
    oaioai:calhoun.nps.edu:10945/6944...
    Last time updated on 03/08/2022