cam a22 2 4500 317151193 CHVBK 20201009192930.0 m d cr ||||||||||| 140625s2014 sz s 10 eng 978-3-319-05415-5 978-3-319-05416-2 (ebook) 10.1007/978-3-319-05416-2 doi (NEBIS)010157852 (SERSOL)ssj0001199742 (IDSSG)000655473 (WaSeSS)ssj0001199742 Springer-MARC SzZuIDS NEBIS ETH-BIB QA76.9.L63 QA76.5913 QA76.63 UM bicssc UYF bicssc COM051000 bisacsh COM036000 bisacsh 005.1015113 23 CH00154FF8A4F12E7B2D5C1257F0700702471 iCapture 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 Cham Springer International Publishing 2014 Online-Ressource text file PDF rda Communications in computer and information science 419 419 (NEBIS)005633972 278185010 Lizenzbedingungen können den Zugang einschränken. License restrictions may limit access. 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. SYSTEMMANAGEMENT + SYSTEMADMINISTRATION (MANAGEMENT VON COMPUTERSYSTEMEN) ger (ETHUDK)000061425 ethudk ZUVERLÄSSIGKEIT + FEHLERTOLERANZ (SOFTWARE ENGINEERING) ger (ETHUDK)000013749 ethudk Computer science Software engineering Logic design Online-Ressource gnd-carrier u SYSTEMMANAGEMENT + SYSTEMADMINISTRATION (MANAGEMENT VON COMPUTERSYSTEMEN) ger 004*01*07*04 nebis E1 u ZUVERLÄSSIGKEIT + FEHLERTOLERANZ (SOFTWARE ENGINEERING) ger 004*04*04*05*02 nebis E1 u ADMINISTRATION DE SYSTÈMES INFORMATIQUES (GESTION DE SYSTÈMES INFORMATIQUES) fre 004*01*07*04 nebis E1 u SYSTEM MANAGEMENT + SYSTEM ADMINISTRATION (MANAGEMENT OF COMPUTER SYSTEMS) eng 004*01*07*04 nebis E1 u FIABILITÉ DU LOGICIEL (GÉNIE LOGICIEL) fre 004*04*04*05*02 nebis E1 u RELIABILITY + FAULT-TOLERANCE (SOFTWARE ENGINEERING) eng 004*04*04*05*02 nebis E1 Artho Cyrille Ölveczky Peter Csaba International Workshop of Formal Techniques for Safety-Critical Systems (DE-588)1092554068 Printed edition 9783319054155 http://sfx.ethz.ch/sfx_locater?sid=ALEPH:EBI01&genre=book&isbn=9783319054155 Online via SFX Volltext BK020853 XK020053 XK020000 BK020053 XK020053 XK020000 EText nebis ED Computer Science (Springer-11645) nebis ER E01-Springer201406 nebis ER ebphzh eb-Springer idsuzh U2 Update201606 idsuzh U2 E65-Springer201606 nebis ER Springer Computer Science eBooks 2014 English/International E-Books von 360MarcUpdates noalma ids I 091 E01-20140908 094 E01-20140908 UPHZHEBO UPHZH-201606 NEBIS UPHZH UPHZH ULONL IDSSG HSG HSG ONL HONL000655473 IDSBB A145 A145 145VT NEBIS 490 0- Communications in computer and information science 419 419 (NEBIS)005633972 278185010 NEBIS 700 1- Artho Cyrille NEBIS 700 1- Ölveczky Peter Csaba NEBIS 711 2- International Workshop of Formal Techniques for Safety-Critical Systems (DE-588)1092554068 NEBIS 856 -- http://sfx.ethz.ch/sfx_locater?sid=ALEPH:EBI01&genre=book&isbn=9783319054155 Online via SFX Volltext IDSBB 100 1- Artho Cyrille editor IDSBB 490 1- Communications in Computer and Information Science 1865-0929 419 IDSBB 700 1- Ölveczky Peter Csaba editor IDSBB 710 2- SpringerLink (Online service) IDSBB 776 08 Printed edition 9783319054155 IDSBB 856 40 https://link.springer.com/10.1007/978-3-319-05416-2 Uni Basel: Volltext IDSSG 490 0- Communications in Computer and Information Science 419 IDSSG 700 1- Artho Cyrille IDSSG 700 1- Ölveczky Peter Csaba IDSSG 856 4- https://doi.org/10.1007/978-3-319-05416-2 Full text for the University of St. Gallen SWISSBIB 317151193