Requirements engineering for reactive systems: Coloured petri nets for an elevator controller

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

2007

Abstract

No abstract available.

ALGORITMI Members

Google Scholar: