University of Limerick Institutional Repository

Browsing by Subject "Autonomic System Specification Language"

DSpace/Manakin Repository

Browsing by Subject "Autonomic System Specification Language"

Sort by: Order: Results:

  • Bakera, Marco; Wagner, Christian; Margaria, Tiziana; Vassev, Emil; Hinchey, Mike; Steffen, Bernhard (NASA, 2009)
    Rich and multifaceted domain specific specification languages like the Autonomic System Specification Language (ASSL) help to design reliable systems with self-healing capabilities. The GEAR game-based Model Checker has ...

Search DSpace

Browse

My Account