Shortcuts
Bitte warten Sie, bis die Seite geladen ist.
 
PageMenu- Hauptmenü-
Page content

Katalogdatenanzeige

Formal Techniques for Safety-Critical Systems: 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

Formal Techniques for Safety-Critical Systems: 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
Kataloginformation
Feldname Details
Vorliegende Sprache eng
ISBN 978-3-319-53945-4
Name Artho, Cyrille ¬[Hrsg.]¬
Ölveczky, Peter Csaba ¬[Hrsg.]¬
Name ANZEIGE DER KETTE Ölveczky, Peter Csaba ¬[Hrsg.]¬
T I T E L Formal Techniques for Safety-Critical Systems
Zusatz zum Titel 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
Verlagsort Cham
Verlag Springer
Erscheinungsjahr 2017
2017
Umfang Online-Ressource (XII, 161 p. 40 illus, online resource)
Reihe Communications in Computer and Information Science ; 694
Titelhinweis Druckausg.ISBN: 978-3-319-53945-4
Printed editionISBN: 978-3-319-53945-4
ISBN ISBN 978-3-319-53946-1
Klassifikation UM
UYF
COM051000
COM036000
005.1015113
QA76.9.L63
QA76.5913
QA76.63
Kurzbeschreibung This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016. The 9 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 23 submissions. The papers are organized in topical sections on specification and verification; automotive and railway systems; circuits and cyber-physical systems; parametrized verification
2. Kurzbeschreibung Specification and verification -- Automotive and railway systems -- Circuits and cyber-physical systems -- Parametrized verification
SWB-Titel-Idn 485256622
Signatur Springer E-Book
Bemerkungen Elektronischer Volltext - Campuslizenz
Elektronische Adresse $uhttp://dx.doi.org/10.1007/978-3-319-53946-1
Internetseite / Link Volltext
.
ISBD-Anzeige Katalogdatensatz500245117
.
Kategorien-Anzeige Katalogdatensatz500245117
.
Verwandte Werke Katalogdatensatz500245117
.
Titel zur Titelsammlung hinzufügen Katalogdatensatz500245117
.
Kataloginformation500245117 Datensatzanfang . Kataloginformation500245117 Seitenanfang .
Titel vormerken Katalogdatensatz500245117
Vollanzeige Katalogdaten 

Auf diesem Bildschirm erhalten Sie Katalog- und Exemplarinformationen zum ausgewählten Titel.

Im Bereich Kataloginformation werden die bibliographischen Details angezeigt. Per Klick auf Hyperlink-Begriffe wie Schlagwörter, Autoren, Reihen, Körperschaften und Klassifikationen können Sie sich weitere Titel des gewählten Begriffes anzeigen lassen.

Der Bereich Exemplarinformationen enthält zum einen Angaben über den Standort und die Verfügbarkeit der Exemplare. Zum anderen haben Sie die Möglichkeit, ausgeliehene Exemplare vorzumerken oder Exemplare aus dem Magazin zu bestellen.
Schnellsuche