Automated Inference of Models for Black Box Systems Based on Interface Descriptions.

Maik Merten, Falk Howar, Bernhard Steffen, Patrizio Pelliccione, Massimo Tivoli

Browse the full ISoLA paper archive.