Towards the Online Testing of Distributed and Heterogeneous Systems with Extended Petri Nets.

Bruno Lima, Joo Pascoal Faria

Browse the full QUATIC paper archive.