Author:
Khan Aamir M.,Mallet Frederic,Rashid Muhammad
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Verification of Dynamic and Stochastic Behaviors for Automotive Systems;2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS);2019-11
2. Tool-Supported Analysis of Dynamic and Stochastic Behaviors in Cyber-Physical Systems;2019 IEEE 19th International Conference on Software Quality, Reliability and Security (QRS);2019-07
3. Formal Verification of Safety & Security Related Timing Constraints for a Cooperative Automotive System;Fundamental Approaches to Software Engineering;2019
4. Type-Based Modelling and Collaborative Programming for Control-Oriented Systems (Short Paper);Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering;2019
5. Monitor: An Abnormality Detection Approach in Buildings Energy Consumption;2018 IEEE 4th International Conference on Collaboration and Internet Computing (CIC);2018-10