Integrating a model-driven approach and formal verification for the development of secure service applications

Metadaten
Author:	Marian Borek, Kuzman Katkalov, Nina Moebius, Wolfgang Reif ORCiD GND, Gerhard Schellhorn ORCiD GND, Kurt Stenzel GND
Frontdoor URL	https://opus.bibliothek.uni-augsburg.de/opus4/53593
ISBN:	978-3-319-17111-1OPAC
Parent Title (English):	Correct Software in Web Applications and Web Services
Publisher:	Springer
Place of publication:	Berlin [u.a.]
Editor:	Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, Bruno Buchberger
Type:	Part of a Book
Language:	English
Year of first Publication:	2015
Release Date:	2019/05/17
First Page:	45
Last Page:	81
Series:	Texts & Monographs in Symbolic Computation (TEXTSMONOGR)
DOI:	https://doi.org/10.1007/978-3-319-17112-8_3
Institutes:	Fakultät für Angewandte Informatik
	Fakultät für Angewandte Informatik / Institut für Informatik
	Fakultät für Angewandte Informatik / Institut für Software & Systems Engineering
	Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik
	Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik / Lehrstuhl für Softwaretechnik

Open Access