|   | 
Details
   web
Record
Author Pappagallo, A.; Massini, A.; Tronci, E.
Title Monte Carlo Based Statistical Model Checking of Cyber-Physical Systems: A Review Type Journal Article
Year 2020 Publication Information Abbreviated Journal
Volume 11 Issue 558 Pages
Keywords
Abstract
Address
Corporate Author Thesis
Publisher Place of Publication Editor
Language Summary Language Original Title
Series Editor Series Title Abbreviated Series Title
Series Volume Series Issue Edition
ISSN ISBN Medium
Area Expedition Conference (up)
Notes Approved no
Call Number MCLab @ davi @ Serial 181
Permanent link to this record