1
by Gruhn, Volker.
Published 2018
Format:
Table of Contents: ....3 Layered Architectures -- 6 On the Asset of Foundations -- 6.1 Not Formal Methods but Formal Foundation...
Click to View
2
by Reussner, Ralf.
Published 2019
Format:
Table of Contents: ... Model Information with Program Code -- 9.3.2 Application: Security Evolution Scenario -- 9.3.3 Security...
Click to View