Advances and challenges of quantitative verification and synthesis for cyber-physical systems release_ugbkizf4xrcgzjvgtutecnepuu

by Marta Kwiatkowska

Published in Cyber-Physical Systems Week by IEEE.

2016   p1-5

Archived Files and Locations

application/pdf  89.7 kB
file_x5ostrxubzepdjkik46qyyvoha
ora.ox.ac.uk (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  paper-conference
Stage   published
Date   2016-04-11
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 6996e80e-8603-4a7a-a215-ba1917cd148e
API URL: JSON