A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information.

Yves Grasland, Lydie du Bousquet, Roland Groz, Ioannis Parissis

Browse the full ICST paper archive.