Requirements Engineering for Reactive Systems with Coloured Petri Nets: the Gas Pump Controller Example

Cached

Download Links

by João M. Fernandes , Simon Tjell , Jens Bæk Jørgensen