University of Limerick Institutional Repository

Browsing LERO - UL authors by Author "Margaria, Tiziana"

DSpace/Manakin Repository

Browsing LERO - UL authors by Author "Margaria, Tiziana"

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 ...
  • Bakera, Marco; Wagner, Christian; Margaria, Tiziana; Vassev, Emil; Hinchey, Mike; Steffen, Bernhard (IEEE Computer Society, 2010)
    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


Advanced Search

Browse

My Account