De-RISC – Dependable Real-Time Infrastructurefor Safety-Critical Computer Systems

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Gómez F., Masmano M., Nicolau V., Andersson J., Le Rhun J, Trilla D., Gallego F., Cabo G., Abella J.

Journal title: Ada User Journal

Journal number: VOL. 41 No. 2. June, 2020.

Journal publisher: Ada Language UK Ltd.

Published year: 2020

Published pages: 107-112

ISSN: 1381-6551