Author:
Lundqvist Kristina,Srinivasan Jayakanth,Gorelov Sébastien
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Lecture Notes in Computer Science;R. Alur,1990
2. Burns, A.: The Ravenscar Profile. ACM Ada Letters XIX(4), 49–52 (1999)
3. Burns, A.: How to Verify a Safe Real-Time System: The Application of Model Checking and Timed Automata to the Production Cell Case Study. Real-Time Systems 24, 135–151 (2003)
4. Burns, A., Dobbing, B., Vardanega, T.: Guide for the Use of the Ada Ravenscar Profile in High Integrity Systems. University of York Technical Report YCS-2003-348 (2003)
5. de la Puente, J.A., Zamorano, J.: Execution-Time Clocks and Ravenscar Kernels. Ada Letters XXIII(4) (December 2003)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Handling Temporal Faults in Ada 2005;Reliable Software Technologies – Ada Europe 2007;2007