Afficher la notice abrégée

dc.contributor.authorHerrera, Fernando
dc.contributor.authorUgarte, Inigo
dc.date.accessioned2025-03-07T19:38:22Z
dc.date.available2025-03-07T19:38:22Z
dc.date.issued2012
dc.date.submitted2021-06-02T10:06:01Z
dc.identifierONIX_20210602_10.5772/37476_168
dc.identifierhttps://library.oapen.org/handle/20.500.12657/49053
dc.identifier.urihttps://doab-dev.siscern.org/handle/20.500.12854/164205
dc.description.abstractDiseases & disorders
dc.languageEnglish
dc.rightsopen access
dc.subject.classificationbic Book Industry Communication::M Medicine::MJ Clinical & internal medicine::MJC Diseases & disorders::MJCM Immunology
dc.subject.otherMedicine
dc.titleChapter Concurrent Specification of Embedded Systems: An Insight into the Flexibility vs Correctness Trade-Off
dc.typechapter
oapen.identifier.doi10.5772/37476
oapen.relation.isPublishedBy035ecc65-6737-43cf-a13a-6bdf67ce01f4
dc.relationisFundedByFP7-ICT-2009-4


Fichier(s) constituant ce document

FichiersTailleFormatVue

Il n'y a pas de fichiers associés à ce document.

Ce document figure dans la(les) collection(s) suivante(s)

Afficher la notice abrégée