Author:
Rangarajan Murali,Cofer Darren
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Design Description Document for the Digital Engine Operating System, Honeywell specification no. PS7022409
2. Lecture Notes in Computer Science;A. Biere,1999
3. Binns, P.: A robust high-performance time partitioning algorithm: the Digital Engine Operating System (DEOS) approach. In: 20th Digital Avionics System Conference Proceedings (October 2001)
4. Avrunin, G.S., Corbett, J.C., Dwyer, M.B., Pasareanu, C.S., Siegel, S.F.: Comparing finite-state verification techniques for concurrent software, Technical Report UM-CS-1999-069, Department of Computer Science, University of Massachusetts (November 1999)
5. Havelund, K., Pressburger, T.: Model Checking Java Programs Using Java Path-Finder. International Journal on Software Tools for Technology Transfer (STTT) 2(4) (April 2000)