Especificación de componentes mediante redes de petri para el diseño y validación de sistemas de control de tiempo real.

Tesis doctoral de Apolinarº González Potes En la actualidad el tamaño y la complejidad de los desarrollos de sistemas de […]

, , , , ,