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.
@inproceedings{SantamariaMGA94,
title = {Application of the DARTS Method for the Timed Automata to the Design of Real-Time Systems},
author = {Cristina Santamaría and José Ramón González de Mendívil and José Ramón Garitagoitia and Carlos F. Alastruey},
year = {1994},
tags = {design},
researchr = {https://researchr.org/publication/SantamariaMGA94},
cites = {0},
citedby = {0},
pages = {218-221},
booktitle = {The 12st IASTED International Conference on Applied Informatics, May 18-20, 1994, Annecy, France},
editor = {M. H. Hamza},
publisher = {IASTED/ACTA Press},
isbn = {0-88986-190-0},
}