Modelando y verificando diseños de sistemas de tiempo real

Main Author: Braberman, Víctor Adrián
Other Authors: Felder, Miguel
Format: Tesis Doctoral
Language: Castellano
Published: Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales 2000
Subjects:
Online Access: http://hdl.handle.net/20.500.12110/tesis_n3287_Braberman