Experiencing the multi-path schedulability analysis capabilities in MAST 1.5

 Congreso: Forum on Specification & Design Languages: FDL (17º : 2014 : Munich)

 Libro: Forum on specification & Design Languages : October 14-16, 2014, Munich, Germany

Editorial: ECSI

 Año de publicación: 2014

Tipo de publicación: Capítulo de libro

ISBN: 978-2-9530504-7-9

Proyecto español: TIN2011-28567-C03-02 (HI-PARTES) ;

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