MeTRiD
All Editions
Sat 6 - Thu 11 April 2019 Prague, Czech RepublicMeTRiD 2019 with ETAPS 2019MeTRiD 2019 is the second edition of the MeTRiD international workshop focusing on the theoretical foundations, tools and applications of the Rigorous System Design (RSD) approach. The intrinsic concurrent nature of interactions among components of modern software systems is the root cause of their sheer complexity, making complete a posteriori verification practically infeasible. An alternative approach consist ... |
Organizing Committee (MeTRiD 2019)