Search Result

Save to File Save as CSV

Your search for 12269 returns 1784 document(s)

The Ethics of Safety-Critical Systems

Author: Jonathan Bowen | Type: Indeks Artikel Jurnal

Designing hypermedia documentation for safety critical applications, Hal. 247-252

Author: R.M. Newman; | Call Number: SEM-259 | Type: Indeks Artikel prosiding/Sem

Safety-critical computer sytems/Neil Storey

Author: Storey, Neil; | Call Number: 004.33 Sto s | Type: Buku

A provably correct embedded verifier for the certification on safety critical software, (LNCS-Lecture Notes in Computer Science 1254) Hal 202-213

Author: Alessandro Cimatti; Fausto Giunchiglia; Paolo Pecchiari; Bruno Pietra; Joe Profeta; Dario Romano; Paolo Traverso; Bing Yu; | Call Number: 004 Int c | Type: Indeks Artikel LNCS

Specifying a safety-critical control system in Z, (LNCS-Lecture Notes in Computer Science 670) Hal 388-402

Author: Jonathan Jacky; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS

A provably correct embeded verifier for the certification of safety critical software, (LNCS-Lecture Notes in Computer Science 999)Hal. 202-231

Author: Alesandro Cimatti; Fausto Giunchiglia; Paolo Peechiari; Bruno Pietra; | Call Number: 004 Int c | Type: Indeks Artikel LNCS

The industrial take-up of formal methods in safety-critical and other areas: a perspective, (LNCS-Lecture Notes in Computer Science 670) Hal 183-195

Author: Jonathan Bowen; Victoria Stavridou; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS

Information and computer ethics

Call Number: 174 Inf | Type: Buku

Engineering ethics: concept & cases

Author: Harris, Charles E.; | Call Number: 174.962 Har e | Type: Buku

Programming machine ethics

Author: Pereira, Luis Moniz; | Call Number: 170 Per p | Type: Buku

Prev 1 2 3 4 5 6 7 8 9 10 Next