Researchers portal

Portal del personal investigador

Searching. Please wait…

Portal del Investigador > en > Publications > publication-detail

Detalle_Publicacion

From FMTV to WATERS: lessons learned from the first verification challenge at ECRTS

Other 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

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

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

Year of publication: 2023

Publication type: Conference object

DOI: LIPIcs.ECRTS.2023.19

ISBN: 978-3-95977-280-8

Spanish project: PID2021-124502OB-C42

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

Consult in UCrea Read publication

Authorship

ALTMEYER, SEBASTIAN

ANDRÉ, ÉTIENNE

DAL ZILIO, SILVANO

FEJOZ, LOÏC

MICHAEL GONZALEZ HARBOUR

GRAF, SUSANNE

JOSE JAVIER GUTIERREZ GARCIA

HENIA, RAFIK

LE BOTLAN, DIDIER

LIPARI, GIUSEPPE

JULIO LUIS MEDINA PASAJE

NAVET, NICOLAS

QUINTON, SOPHIE

JUAN MARIA RIVAS CONCEPCION

SUN, YOUCHENG

Download reference

Bib Ris