Author:
Beaulaton Delphine,Said Najah Ben,Cristescu Ioana,Sadou Salah
Publisher
Springer International Publishing
Reference17 articles.
1. Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time components in BIP. In: SEFM (2006).
https://doi.org/10.1109/SEFM.2006.27
2. Beaulaton, D., et al.: A language for analyzing security of IoT systems. In: SoSE (2018).
https://doi.org/10.1109/SYSOSE.2018.8428704
3. Lecture Notes in Computer Science;S Bensalem,2012
4. Lecture Notes in Computer Science;B Boyer,2013
5. ENISA: Smart hospitals, security and resilience for smart health service and infrastructures. Technical report, ENISA (2016)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献