A PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical Systems

Thumbnail Image
Files
P-00M-NYC.pdf (785.71 KB)
Date
2017
Authors
Bernardeschi,C
Domenici,A
Paolo Masci
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Keywords
Citation
URI
http://repositorio.inesctec.pt/handle/123456789/5429
 http://dx.doi.org/10.1109/tse.2017.2694423
Collections
HASLab - Indexed Articles in Journals