We are not able to resolve this OAI Identifier to the repository landing page. If you are the repository manager for this record, please head to the Dashboard and adjust the settings.
'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.https://hdl.handle.net/10945/6944
Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.