Author:
González Apolinar,Crespo Alfons
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Bucci G., Campanai M., Nesi P., (1995) Tools for Specifying Real-Time Systems. Real-Time Systems, Vol 8, Number 2/3. pp 117–172.
2. Baresi L., Orso A, and Pezzè M., (1997) Introducing Formal Specification Methods in Industrial Practice,. Proceedins of the First KIT125 Workshop Formal Methods for the Design of Real-Time Systems, Italy.
3. Fernández J. L., (1997) A Taxonomy of Coordination Mechanisms Used by Real-Time Processes, ACM Ada LETTERS, Volume XVII, Number 2, pp 29–54
4. Burns A. and Wellings A, (1995) Concurrency in Ada,. Cambrige University Press.
5. ARTEAWG, (1993) Ada Run-Time Environment Working Group. Catalogue of Interface Features and Options for the Ada Runtime Environment. ACM, Draft Release.