University of Limerick Institutional Repository

Towards model checking with Java PathFinder for autonomic systems specified and generated with ASSL.

DSpace Repository

Files in this item

This item appears in the following Collection(s)

Search DSpace


Browse

My Account

Statistics