Real-Time Property Verification in Organic Computing Systems.

Steffen Stein, Arne Hamann, Rolf Ernst

Browse the full ISoLA paper archive.