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

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Marian Borek, Kuzman Katkalov, Nina Moebius, Wolfgang ReifORCiDGND, Gerhard SchellhornORCiDGND, Kurt StenzelGND
Frontdoor URLhttps://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