Browsing by Author "Margaria, Tiziana"
Now showing items 1-3 of 3
-
Datenflussanalyse als Modelchecking im jABC
Lamprecht, Anna-Lena; Margaria, Tiziana; Steffen, Bernhard
125-130 -
Test your strategy – Intuitive strategy definition and evaluation for novices and experts
Jörges, Sven; Bakera, Marco; Margaria, Tiziana; Lattemann, Christoph
449-449 -
Using games for improved diagnosis in trustworthy design of autonomic systems
Margaria, Tiziana; Wagner, Christian; Bakera, Marco
451-451