Publisher
Springer International Publishing
Reference30 articles.
1. ADT2AMAS. https://depot.lipn.univ-paris13.fr/parties/tools/adt2amas
2. IMITATOR. https://www.imitator.fr
3. Alur, R., Henzinger, T., Vardi, M.: Parametric real-time reasoning. In: ACM Symposium on Theory of Computing, pp. 592–601. ACM (1993). https://doi.org/10.1145/167088.167242
4. Lecture Notes in Computer Science;É André,2012
5. André, É., Lime, D., Ramparison, M., Stoelinga, M.: Parametric analyses of attack-fault trees. In: ACSD 2019, pp. 33–42. IEEE (2019). https://doi.org/10.1109/ACSD.2019.00008
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献