Towards an Approach for the Verification of Downtimeless System Evolution.

Christoph Snder, Bernard Favre-Bulle, Valeriy Vyatkin

Browse the full ETFA paper archive.