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

Diseases & disorders

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Herrera, Fernando, Ugarte, Inigo
Format: Online
Sprache:Englisch
Veröffentlicht: InTechOpen 2021
Schlagworte:
Online-Zugang:ONIX_20210602_10.5772/37476_168
Tags: Tag hinzufügen
Keine Tags, Fügen Sie das erste Tag hinzu!