Real-Time Euclid: A language for reliable real-time systems
Kligerman, Eugene, Stoyenko, Alexander D.Volume:
SE-12
Language:
english
Journal:
IEEE Transactions on Software Engineering
DOI:
10.1109/TSE.1986.6313049
Date:
September, 1986
File:
PDF, 2.24 MB
english, 1986