Researchers portal

Portal del personal investigador

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

Portal del Investigador > Publicaciones > detalle publicacion

Detalle_Publicacion

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

Comunicaciones del congreso o publicaciones relacionadas con autores/as de la Universidad de Cantabria

From FMTV to WATERS: lessons learned from the first verification challenge at ECRTS (Artifact) - Comunicación a Congreso
From FMTV to WATERS: lessons learned from the first verification challenge at ECRTS - Comunicación a Congreso

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

Año de publicación: 2023

Nº de páginas: 460

Tipo de publicación: Comunicación a Congreso

DOI: 10.4230/LIPIcs.ECRTS.2023

ISBN: 978-3-95977-280-8

Url de la publicación: https://doi.org/10.4230/LIPIcs.ECRTS.2023

Leer publicación

Descargar referencia

Bib Ris