Application of the DARTS Method for the Timed Automata to the Design of Real-Time Systems

Cristina Santamaría, José Ramón González de Mendívil, José Ramón Garitagoitia, Carlos F. Alastruey. Application of the DARTS Method for the Timed Automata to the Design of Real-Time Systems. In M. H. Hamza, editor, The 12st IASTED International Conference on Applied Informatics, May 18-20, 1994, Annecy, France. pages 218-221, IASTED/ACTA Press, 1994.

Bibliographies