Towards stronger property preservation in real-time system synthesis

O. Florescu, J. Huang, J.P.M. Voeten, H. Corporaal

Onderzoeksoutput: Boek/rapport › Rapport › Academic

72 Downloads (Pure)
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's21
StatusGepubliceerd - 2006

Publicatie series

NaamES reports
Volume2006-02
ISSN van geprinte versie1574-9517

Toegang tot document

  • 710999Definitieve gepubliceerde versie, 353 KB

    Citeer dit