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

Diseases & disorders

Gardado en:
Detalles Bibliográficos
Main Authors: Herrera, Fernando, Ugarte, Inigo
Formato: Online
Idioma:inglés
Publicado: InTechOpen 2021
Subjects:
Acceso en liña:ONIX_20210602_10.5772/37476_168
Tags: Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!

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