Author:
Tueno Fotso Steve Jeffrey,Mammar Amel,Laleau Régine,Frappier Marc
Publisher
Springer International Publishing
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Formal alignment of requirements models with high-level architecture models;2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS);2023-06-14
2. Automating an Analysis of Safety-Security Interactions for Railway Systems;Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification;2023
3. Graphical Transformation of OWL Ontologies to Event-B Formal Models;Computers, Materials & Continua;2022
4. Designing Operating Rules for ERTMS Transnational Lines;Operating Rules and Interoperability in Trans-National High-Speed Rail;2021-03-12
5. Integrating Domain Modeling Within a Formal Requirements Engineering Method;Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems;2020-07-28