Towards Modularized Verification of Distributed Time-Triggered Systems.

Jewgenij Botaschanjan, Alexander Gruler, Alexander Harhurin, Leonid Kof, Maria Spichkova, David Trachtenherz

Browse the full FM paper archive.