Chapter Concurrent Specification of Embedded Systems: An Insight into the Flexibility vs Correctness Trade-Off

Diseases & disorders

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Herrera, Fernando (auth)
Weitere Verfasser: Ugarte, Inigo (auth)
Format: Elektronisch Buchkapitel
Sprache:Englisch
Veröffentlicht: InTechOpen 2012
Schlagworte:
Online-Zugang:DOAB: download the publication
DOAB: description of the publication
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!