Formal methods: foundations and applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016 : proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	SBMF (VerfasserIn)
Weitere Verfasser:	Ribeiro, Leila (HerausgeberIn), Lecomte, Thierry (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham, Switzerland Springer 2016
Schriftenreihe:	Lecture notes in computer science 10090
Schlagworte:	Konferenzschrift > Formale Methode > Verifikation > Softwaretest > Modellgetriebene Entwicklung > Fehlertoleranz
Online Zugang:	Inhaltsverzeichnis Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	Literaturangaben
Beschreibung:	X, 252 Seiten Illustrationen, Diagramme
ISBN:	9783319498140 978-3-319-49814-0