Deutsch
Login
Open Access
Home
Search
Browse
Publish/report a document
Help
Integrating a model-driven approach and formal verification for the development of secure service applications
Marian Borek
,
Kuzman Katkalov
,
Nina Moebius
,
Wolfgang Reif
,
Gerhard Schellhorn
,
Kurt Stenzel
Export metadata
BibTeX
RIS
Statistics
Additional Services
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-1
OPAC
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