Online-Ressource
Titel:	Formal Methods: Foundations and Applications
Titelzusatz:	19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings
Mitwirkende:	Ribeiro, Leila [Hrsg.]
	Lecomte, Thierry [Hrsg.]
Verf.angabe:	edited by Leila Ribeiro, Thierry Lecomte
Verlagsort:	Cham
Verlag:	Springer
Jahr:	2016
Umfang:	Online-Ressource (X, 253 p. 62 illus, online resource)
Gesamttitel/Reihe:	Lecture Notes in Computer Science ; 10090
	Programming and Software Engineering ; 10090
	SpringerLink : Bücher
	Springer eBook Collection : Computer Science
ISBN:	978-3-319-49815-7
Abstract:	This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016. The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking
DOI:	doi:10.1007/978-3-319-49815-7
URL:	Volltext: https://doi.org/10.1007/978-3-319-49815-7
	Cover: https://swbplus.bsz-bw.de/bsz480949409cov.jpg
	Inhaltstext: https://zbmath.org/?q=an:1351.68029
	DOI: https://doi.org/10.1007/978-3-319-49815-7
Schlagwörter:	(s)Formale Methode    / (s)Verifikation    / (s)Softwaretest    / (s)Modellgetriebene Entwicklung    / (s)Fehlertoleranz
Datenträger:	Online-Ressource
Sprache:	eng
Reproduktion:	Druckausg
	Printed edition
K10plus-PPN:	1654787515
Verknüpfungen:	→ Übergeordnete Aufnahme
	Universitätsbibliothek
Lokale URL UB:	Zum Volltext
	Bibliothek der Medizinischen Fakultät Mannheim der Universität Heidelberg
	Bestellen/Vormerken für Benutzer des Klinikums Mannheim Eigene Kennung erforderlich
Bibliothek/Idn:	UW / m3375606605
Lokale URL Inst.:	Zum Volltext