Author:
Bertrand Nathalie,Legay Axel,Pinchinat Sophie,Raclet Jean-Baptiste
Reference42 articles.
1. The embedded systems design challenge;Henzinger,2006
2. The discipline of embedded systems design;Henzinger;IEEE Computer,2007
3. On modal refinement and consistency;Larsen,2007
4. Alternating refinement relations;Alur,1998
5. L. de Alfaro, T.A. Henzinger, Interface automata, in: Proceedings of the 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE’01, 2001, pp. 109–120.
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A linear-time–branching-time spectrum for behavioral specification theories;Journal of Logical and Algebraic Methods in Programming;2020-01
2. Behavioral Specification Theories: An Algebraic Taxonomy;Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles;2020
3. Contracts for System Design;Foundations and Trends® in Electronic Design Automation;2018
4. Compositionality for quantitative specifications;Soft Computing;2017-02-24
5. A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories;SOFSEM 2017: Theory and Practice of Computer Science;2017