selected publications conference paper IEEE 802.1AS Multi-Domain Aggregation for Virtualized Distributed Real-Time Systems 2023 Model checking a fault-tolerant startup algorithm: from design exploration to exhaustive fault simulation 2004
Co-author Network
Map of Science