Author:
Besnard Valentin,Teodorov Ciprian,Jouault Frederic,Brun Matthias,Dhaussy Philippe
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formalizing UML State Machines for Automated Verification – A Survey;ACM Computing Surveys;2023-07-13
2. Runtime Verification of Self-Adaptive Systems with Changing Requirements;2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS);2023-05
3. Model Checking Functional Integration of Human Cognition and Machine Reasoning;2022 IEEE International Systems Conference (SysCon);2022-04-25
4. Unified verification and monitoring of executable UML specifications;Software and Systems Modeling;2021-11-21
5. Overview of Model Interpretation Techniques and Their Applications;Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering;2021