University of Limerick Institutional Repository

Browsing Faculty of Science and Engineering by Author "EU SHADOWS"

DSpace Repository

Browsing Faculty of Science and Engineering by Author "EU SHADOWS"

Sort by: Order: Results:

  • 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


Browse

My Account

Statistics