Ihre Suche erzielte 4 Treffer.

Ergebnisse
	1.	Formal validation of an interlocking system for large railway stations: a case study von Cimatti, A Giunchiglia, F Mongardi, G Pietra, B Romano, D Torielli, F Traverso, P Reihen: Istituto Trentino di Cultura (ITC) <Povo> / Istituto per la Ricerca Scientifica e Tecnologica (IRST) : Technical Report Materialtyp: Text; Format: Druck ; Literarische Form: Sachliteratur Verlag: Instituto Trentino di Cultura (ITC) 1997 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Povo IRST # 9701-01. Vormerken Zum Korb hinzufügen (Entfernen)
	2.	A provably correct embedded verifier for the certification of safety critical software von Cimatti, A Giunchiglia, F Pecchiari, P Pietra, B Profeta, J Romano, D Traverso, P Yu, B Reihen: Istituto Trentino di Cultura (ITC) <Povo> / Istituto per la Ricerca Scientifica e Tecnologica (IRST) : Technical Report Materialtyp: Text; Format: Druck ; Literarische Form: Sachliteratur Verlag: Instituto Trentino di Cultura (ITC) 1997 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Povo IRST # 9701-04. Vormerken Zum Korb hinzufügen (Entfernen)
	3.	Model checking safety critical software with SPIN: an application to a railway interlocking system von Cimatti, A Giunchiglia, F Mongardi, G Romano, D Torielli, F Traverso, P Reihen: Istituto Trentino di Cultura (ITC) <Povo> / Istituto per la Ricerca Scientifica e Tecnologica (IRST) : Technical Report Materialtyp: Text; Format: Druck ; Literarische Form: Sachliteratur Verlag: Instituto Trentino di Cultura (ITC) 1997 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Povo IRST # 9702-09. Vormerken Zum Korb hinzufügen (Entfernen)
	4.	Formal validation & verification of software for railway control and protection systems experimental applications in ANSALDO von Cimatti, A Giunchiglia, F Mongardi, G Pietra, B Romano, D Torielli, F Traverso, P Reihen: Istituto Trentino di Cultura (ITC) <Povo> / Istituto per la Ricerca Scientifica e Tecnologica (IRST) : Technical Report Materialtyp: Text; Format: Druck ; Literarische Form: Sachliteratur Verlag: Instituto Trentino di Cultura (ITC) 1997 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Povo IRST # 9707-15. Vormerken Zum Korb hinzufügen (Entfernen)

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha