Author:
Lanotte Ruggero,Merro Massimo,Tini Simone
Funder
Ministero dell’Istruzione, dell’Università e della Ricerca
Università degli Studi di Verona
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference65 articles.
1. A calculus of cyber-physical systems;Lanotte,2017
2. Design techniques and applications of cyberphysical systems: a survey;Khaitan;IEEE Syst. J.,2015
3. Model Checking;Clarke,1999
4. PRISM 4.0: verification of probabilistic real-time systems;Kwiatkowska,2011
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献