Providing automated support to deductive analysis of time critical systems

Capitolo di libro
Data di Pubblicazione:
1997
Citazione:
(1997). Providing automated support to deductive analysis of time critical systems [book chapter - capitolo di libro]. Retrieved from http://hdl.handle.net/10446/27261
Tipologia CRIS:
1.2.01 Contributi in volume (Capitoli o Saggi) - Book Chapters/Essays
Elenco autori:
Alborghetti, Andrea; Gargantini, Angelo Michele; Morzenti, Angelo
Autori di Ateneo:
GARGANTINI Angelo Michele
Link alla scheda completa:
https://aisberg.unibg.it/handle/10446/27261
Titolo del libro:
Software Engineering — ESEC/FSE'97
Pubblicato in:
LECTURE NOTES IN COMPUTER SCIENCE
Series

Ricerca

Settori


Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni