Author:
Göthel Thomas,Bartels Björn
Publisher
Springer International Publishing
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Testing using CSP Models: Time, Inputs, and Outputs;ACM Transactions on Computational Logic;2023-01-28
2. Sound reasoning in tock-CSP;Acta Informatica;2021-04-17
3. Supporting viewpoints to review the lack of requirements in space systems with machine learning;Proceedings of the IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems;2020-06-29