Vai al contenuto principale della pagina

Formal Techniques for Safety-Critical Systems : Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers / / edited by Cyrille Artho, Peter Csaba Ölveczky



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: Formal Techniques for Safety-Critical Systems : Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers / / edited by Cyrille Artho, Peter Csaba Ölveczky Visualizza cluster
Pubblicazione: Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014
Edizione: 1st ed. 2014.
Descrizione fisica: 1 online resource (X, 297 p. 91 illus.)
Disciplina: 005.1015113
Soggetto topico: Computer logic
Software engineering
Computers
Logics and Meanings of Programs
Software Engineering
Computation by Abstract Devices
Persona (resp. second.): ArthoCyrille
ÖlveczkyPeter Csaba
Note generali: Bibliographic Level Mode of Issuance: Monograph
Sommario/riassunto: This book constitutes the refereed proceedings of the Second International Workshop, FTSCS 2013, held in Queenstown, New Zealand, in October 2013. The 17 revised full papers presented together with an invited talk were carefully reviewed and selected from 32 submissions. The papers address various topics related to the application of formal and semi-formal methods to improve the quality of safety-critical computer systems.
Titolo autorizzato: Formal Techniques for Safety-Critical Systems  Visualizza cluster
ISBN: 3-319-05416-3
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 9910299052103321
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Serie: Communications in Computer and Information Science, . 1865-0929 ; ; 419