Author:
Ober Iulian,Halbwachs Nicolas
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Lecture Notes in Computer Science,2006
2. Lecture Notes in Computer Science,2007
3. Lecture Notes in Computer Science;K. Altisen,2000
4. Aonix. ObjectAda Real-Time RAVEN, http://www.aonix.com/objectada_raven.html
5. Bordin, M., Vardanega, T.: Correctness by construction for high-integrity real-time systems: A metamodel-driven approach. In: [2], pp. 114–127
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A formal approach to AADL model-based software engineering;International Journal on Software Tools for Technology Transfer;2019-03-07
2. Operational Semantics of Ada Ravenscar;Reliable Software Technologies – Ada-Europe 2008