Buscar

Estamos realizando la búsqueda. Por favor, espere...

 Detalle_Publicacion

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

Otras comunicaciones del congreso o articulos relacionados con autores/as de la Universidad de Cantabria

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

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

 Año de publicación: 2023

Nº de páginas: 6

Páginas: 1 a 6

Tipo de publicación: Comunicación a Congreso

 DOI: 10.4230/DARTS.9.1.4

ISBN: 978-3-95977-280-8

 Proyecto español: PID2021-124502OB-C42

Url de la publicación: https://doi.org/10.4230/DARTS.9.1.4

Autoría

ALTMEYER, SEBASTIAN

ANDRÉ, ÉTIENNE

DAL ZILIO, SILVANO

FEJOZ, LOÏC

GRAF, SUSANNE

LE BOTLAN, DIDIER

LIPARI, GIUSEPPE

NAVET, NICOLAS

QUINTON, SOPHIE

SUN, YOUCHENG