Author:
Damm W,Hungar H,Josko B,Peikenkamp T,Stierand I
Cited by
34 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Constraint-Behavior Contracts: A Formalism for Specifying Physical Systems;Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design;2023-09-21
2. Contract Replaceability for Ensuring Independent Design using Assume-Guarantee Contracts;Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design;2023-09-21
3. Contract-based specification of mode-dependent timing behavior;Innovations in Systems and Software Engineering;2023-09-07
4. Contract-Based Specification Refinement and Repair for Mission Planning;2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE);2023-05
5. Reasoning with Metric Temporal Logic and Resettable Skewed Clocks;Lecture Notes in Computer Science;2023