Author:
Adler B. Thomas,de Alfaro Luca,Da Silva Leandro Dias,Faella Marco,Legay Axel,Raman Vishwanath,Roy Pritam
Publisher
Springer Berlin Heidelberg
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Can We Communicate? Using Dynamic Logic to Verify Team Automata;Formal Methods;2023
2. Contracts for System Design;Foundations and Trends® in Electronic Design Automation;2018
3. Enforcing Generalized Refinement-Based Noninterference for Secure Interface Composition;2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC);2017-07
4. Conditions for Compatibility of Components;Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques;2016
5. Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic;Tools and Algorithms for the Construction and Analysis of Systems;2014