Publisher
Springer International Publishing
Reference22 articles.
1. Becker, J.S.: Analyzing consistency of formal requirements. In: Automated Verification of Critical Systems (AVOCS 2018) (2018)
2. Becker, J.S., et al.: Interoperable toolchain for requirements-driven model-based development. In: ERTS 2018 (2018)
3. Bensalem, S., Bozga, M., Nguyen, T.H., Sifakis, J.: Compositional verification for component-based systems and application. IET Software 4(3), 181–193 (2010)
4. Lecture Notes in Computer Science;S Bensalem,2008
5. Benveniste, A.: Contracts for system design. Found. Trends Electron. Design Autom. 12(2–3), 124–400 (2018)