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 ULIR


Browse

My Account

Statistics