authors
- Sekerinski, Emil
- Botaschanjan, Jewgenij
- Gruler, Alexander
- Harhurin, Alexander
- Kof, Leonid
- Spichkova, Maria
- Trachtenherz, David
Towards Modularized Verification of Distributed Time-Triggered Systems.
Conferences
- Overview
- Identity
- Additional Document Info
- View All