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

Diseases & disorders

Enregistré dans:
Détails bibliographiques
Auteur principal: Herrera, Fernando (auth)
Autres auteurs: Ugarte, Inigo (auth)
Format: Électronique Chapitre de livre
Langue:anglais
Publié: InTechOpen 2012
Sujets:
Accès en ligne:OAPEN Library: download the publication
OAPEN Library: description of the publication
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires