
Formal requirements modelling with executable use cases and coloured Petri nets
Jens B. Jørgensen, Simon Tjell, João M. FernandesVolume:
5
Langue:
english
Pages:
13
DOI:
10.1007/s11334-009-0075-6
Date:
March, 2009
Fichier:
PDF, 814 KB
english, 2009