Skip to Main Content (Press Enter)

Logo UNITO
  • ×
  • Home
  • Pubblicazioni
  • Progetti
  • Persone
  • Competenze
  • Settori
  • Strutture
  • Terza Missione

UNI-FIND
Logo UNITO

|

UNI-FIND

unito.it
  • ×
  • Home
  • Pubblicazioni
  • Progetti
  • Persone
  • Competenze
  • Settori
  • Strutture
  • Terza Missione
  1. Pubblicazioni

Preface

Capitolo di libro
Data di Pubblicazione:
2023
Tipologia CRIS:
02E-Prefazione/Postfazione
Elenco autori:
L. Petrucci, J. Sproston
Autori di Ateneo:
SPROSTON Jeremy James
Link alla scheda completa:
https://iris.unito.it/handle/2318/1947136
Link al Full Text:
https://iris.unito.it/retrieve/handle/2318/1947136/1442618/preface.pdf
Titolo del libro:
Proceedings of the 21st International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2023)
Pubblicato in:
LECTURE NOTES IN COMPUTER SCIENCE
Journal
LECTURE NOTES IN COMPUTER SCIENCE
Series
  • Dati Generali
  • Aree Di Ricerca

Dati Generali

URL

https://link.springer.com/book/10.1007/978-3-031-42626-1

Aree Di Ricerca

Settori (5)


PE6_4 - Theoretical computer science, formal methods, automata - (2022)

CIBO, AGRICOLTURA e ALLEVAMENTI - Farmacologia Veterinaria

INFORMATICA, AUTOMAZIONE e INTELLIGENZA ARTIFICIALE - Industria X.0

PIANETA TERRA, AMBIENTE, CLIMA, ENERGIA e SOSTENIBILITA' - Diritto dell'Ambiente

PIANETA TERRA, AMBIENTE, CLIMA, ENERGIA e SOSTENIBILITA' - Informatica e Ambiente
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 25.6.1.0