MCLab @ Sapienza Home

MCLab Group List of Papers

Home |  Show All |  Simple Search |  Advanced Search
Quick Search:
141–143 of 143 records found matching your query (RSS):
toggle visibility Search & Display Options
Select All    Deselect All [1–10] << 11 12 13 14 15 >>
List View
 | 
Citations
 | 
Details
   print
  Author Title Year Publication Publisher ISSN ISBN DOI (up) Volume Pages Links
Tortora, L.; Meynen, G.; Bijlsma, J.; Tronci, E.; Ferracuti, S. Neuroprediction and A.I. in Forensic Psychiatry and Criminal Justice: A Neurolaw Perspective 2020 Frontiers in Psychology 1664-1078 10.3389/fpsyg.2020.00220 11 220 details   pdf doi
Pappagallo, A.; Massini, A.; Tronci, E. Monte Carlo Based Statistical Model Checking of Cyber-Physical Systems: A Review 2020 Information 10.3390/info11120588 11 details   pdf doi
Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico Simulator Semantics for System Level Formal Verification 2015 Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2015), 10.4204/EPTCS.193.7 details   pdf doi
Select All    Deselect All [1–10] << 11 12 13 14 15 >>
List View
 | 
Citations
 | 
Details
   print
toggle visibility
Save Citations:
Export Records:
Home Library Search  |  Show Record  |  Extract Citations Help