Modelling and Testing of Real Systems.

Andreas Prinz, Birger Mller-Pedersen, Joachim Fischer

Browse the full ISoLA paper archive.