IRIS

Object libraries for important safety critical application area are considered for rigorous verification with formal methods.

Cantone, G., Halang, W., Donzelli, P. (2000). Human factors oriented engineering of safety critical software out of formally verified objects. In Project Control: Proceedings of ESCOM-SCOPE 2000: The Human Factor (pp.80-89). Maastrict : Shaker Publishing B.V..

Human factors oriented engineering of safety critical software out of formally verified objects

CANTONE, GIOVANNI;
2000-01-01

Abstract

Object libraries for important safety critical application area are considered for rigorous verification with formal methods.
ESCOM-SCOPE 2000, European Software Control and Metrics: The human factor
Munich, Germany
2000
Rob Kusters, Katrina D. Maxwell, Adrian Cowderoy
Rilevanza internazionale
contributo
18-apr-2000
gen-2000
Settore ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
English
Safety-critical software; software verification; formal methods
http://people.cs.kuleuven.be/~dirk/ada-belgium/events/98/980527-escom.html
https://www.researchgate.net/profile/Paolo_Donzelli/publications?sorting=newest&page=3
Intervento a convegno
Cantone, G., Halang, W., Donzelli, P. (2000). Human factors oriented engineering of safety critical software out of formally verified objects. In Project Control: Proceedings of ESCOM-SCOPE 2000: The Human Factor (pp.80-89). Maastrict : Shaker Publishing B.V..
Cantone, G; Halang, W; Donzelli, P
02 - Intervento a convegno
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2108/94308
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact