Metadaten| Author: | Jan Jürjens, Martín Ochoa, Holger Schmidt, Loïc Marchal, Siv Hilde Houmb, Shareeful Islam |
|---|
| Fachbereich/Einrichtung: | Hochschule Düsseldorf / Fachbereich - Medien |
|---|
| Hochschule Düsseldorf / Fachbereich - Medien / Digitale Vernetzung und Informationssicherheit |
|---|
| Document Type: | Conference Proceeding |
|---|
| Year of Completion: | 2011 |
|---|
| Language of Publication: | English |
|---|
| Publisher: | Springer |
|---|
| Place of publication: | Berlin, Heidelberg |
|---|
| Parent Title (English): | Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures |
|---|
| Editor: | Marco Bernardo, Valérie Issarny |
|---|
| Volume: | LNCS, 6659 |
|---|
| First Page: | 504 |
|---|
| Last Page: | 526 |
|---|
| Related URL: | https://link.springer.com/chapter/10.1007/978-3-642-21455-4_15 |
|---|
| DOI: | https://doi.org/10.1007/978-3-642-21455-4_15 |
|---|
| ISBN: | 978-3-642-21455-4 |
|---|
| Tag: | UMLseCH; UMLsec; security; software evolution |
|---|
| Dewey Decimal Classification: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 000 Informatik, Informationswissenschaft, allgemeine Werke |
|---|
| Licence (German): | keine Lizenz - nur Metadaten |
|---|
| Release Date: | 2018/10/11 |
|---|