Publisher
Open Publishing Association
Reference11 articles.
1. Modeling Cyber-Physical Systems;Derler;Proceedings of the IEEE (special issue on CPS),2012
2. FDR3 – A Modern Refinement Checker for CSP;Gibson-Robinson,2014
3. Systems Design Guided by Progress Concerns;Hudon,2013
4. Tabular Representations in Relational Documents;Janicki,1997
5. UPPAAL in a Nutshell;Larsen;International Journal on Software Tools for Technology Transfer,1997
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Cyber Physical System (CPS)-Based Industry 4.0: A Survey;Journal of Industrial Integration and Management;2017-09