(1997). Providing automated support to deductive analysis of time critical systems [book chapter - capitolo di libro]. Retrieved from http://hdl.handle.net/10446/27261

Providing automated support to deductive analysis of time critical systems

GARGANTINI, Angelo Michele;
1997-01-01
WOS:000086483900016
2-s2.0-84949438619
book chapter - capitolo di libro
scientifica
Inglese
1997
Software Engineering — ESEC/FSE'97
Jazayeri, Mehdi; Schauer, Helmut
cartaceo
online
978-3-540-63531-4
978-3-540-69592-9
LECTURE NOTES IN COMPUTER SCIENCE
1301
211
226
Germany
Berlin
Springer
Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni
info:eu-repo/semantics/bookPart
(1997). Providing automated support to deductive analysis of time critical systems [book chapter - capitolo di libro]. Retrieved from http://hdl.handle.net/10446/27261
none
1.2 Contributi in volume - Book chapters::1.2.01 Contributi in volume (Capitoli o Saggi) - Book Chapters/Essays
no full text
Alborghetti, Andrea; Gargantini, Angelo Michele; Morzenti, Angelo
3
268
File allegato/i alla scheda:
Non ci sono file allegati a questa scheda.
Pubblicazioni consigliate

Aisberg ©2008 Servizi bibliotecari, Università degli studi di Bergamo | Terms of use/Condizioni di utilizzo

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10446/27261
Citazioni
  • Scopus 12
  • ???jsp.display-item.citation.isi??? 2
social impact