Formal requirements modelling with executable use cases and coloured Petri nets

By Jørgensen, J.B.; Tjell, S.; Fernandes, J.M.

2009

Abstract

No abstract available.

ALGORITMI Members

Google Scholar: