Software engineering for resilient systems : 5th international workshop, SERENE 2013, Kiev, Ukraine, October 3 - 4, 2013 ; proceedings

Software engineering for resilient systems 5th international workshop, SERENE 2013, Kiev, Ukraine, October 3 - 4, 2013 ; proceedings

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: SERENE (BerichterstatterIn)
Weitere Verfasser: Gorbenko, Anatolij (BerichterstatterIn), Romanovsky, Alexander (HerausgeberIn), Kharchenko, Vyacheslav (HerausgeberIn), Gorbenko, Anatoliy (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Heidelberg, New York, NY, Dordrecht, London, Berlin Springer 2013
Schriftenreihe:Lecture notes in computer science 8166
Schlagworte:
Konferenzschrift > Fehlertoleranz > Zuverlässigkeit > Software Engineering > Formale Methode > Verifikation > Sicherheitskritisches System
Online Zugang:Inhaltstext
Cover
Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!