Towards model checking with java pathfinder for autonomic systems specified and generated with ASSL
- Emil Vassev
- , Mike Hinchey
- , Aaron Quigley
- Lero - The Irish Software Engineering Research Centre
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review