Researchers portal

Portal del personal investigador

Searching. Please wait…

Portal del Investigador > en > Publications > publication-detail

35th Euromicro Conference on Real-Time Systems: ECRTS 2023, July 11-14, 2023, Vienna, Austria

Conference communications or articles related to authors from the University of Cantabria

From FMTV to WATERS: lessons learned from the first verification challenge at ECRTS (Artifact) - Conference object
From FMTV to WATERS: lessons learned from the first verification challenge at ECRTS - Conference object

Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH

Year of publication: 2023

No. of pages: 460

Publication type: Conference object

DOI: 10.4230/LIPIcs.ECRTS.2023

ISBN: 978-3-95977-280-8

Publication Url: https://doi.org/10.4230/LIPIcs.ECRTS.2023

Read publication

Download reference

Bib Ris