Congreso: Forum on Specification and Design Languages (FDL 2015): Proceedings

 Editorial: IEEE; Electronic Chips & Systems design Initiative (ECSI)

 Año de publicación: 2015

 Tipo de publicación: Comunicación a Congreso

 DOI: 10.1109/FDL.2015.7306365

 ISBN: 978-1-4673-7735-5

 Proyecto español: ART-010000-2012-5

 Proyecto europeo: info:eu-repo/grantAgreement/EC/FP7/611146/EU/Design of embedded mixed-criticality CONTRol systems under consideration of EXtra-functional properties/CONTREX/

 Url de la publicación: https://doi.org/10.1109/FDL.2015.7306365