E Moritz Hahn
1
PUBLICATIONS
3
CO-AUTHORS
Artificial life and complex adaptive systems
Get your video featured.
Publish with JoVE
Get your video featured.
Publish with JoVE
Publications
(1)
Sort by Publication Date:
Latest
Software and systems modeling
|
Sep 03, 2026
ATM: a Logic for Quantitative Security Properties on Attack Trees.
Page
of 1
Frequent Collaborators
1
joint publications
Stefano M Nicoletti
1
joint publications
Milan Lopuhaä-Zwakenberg
1
joint publications
Mariëlle Stoelinga
Frequent Collaborators
1
joint publications
Stefano M Nicoletti
1
joint publications
Milan Lopuhaä-Zwakenberg
1
joint publications
Mariëlle Stoelinga
See all collaborators
Search research articles
Contact Us