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

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Cristina Santamaría' in GoogleThis author has not been identified. Look up 'José Ramón González de Mendívil' in GoogleThis author has not been identified. Look up 'José Ramón Garitagoitia' in GoogleThis author has not been identified. Look up 'Carlos F. Alastruey' in Google

runs on WebDSL