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

Diseases & disorders

Saved in:
Bibliographic Details
Main Authors: Herrera, Fernando, Ugarte, Inigo
Format: Online
Language:English
Published: InTechOpen 2021
Subjects:
Online Access:ONIX_20210602_10.5772/37476_168
Tags: Add Tag
No Tags, Be the first to tag this record!