Scalable Reliability Analysis by Lazy Verification

Khan, Shahid (Corresponding author); Katoen, Joost-Pieter; Volk, Matthias; Bouissou, Marc

1st ed. 2021.. - Cham : Springer (2021)
Buchbeitrag, Beitrag zu einem Tagungsband

In: NASA Formal Methods : 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, proceedings / Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez (eds.)
Seite(n)/Artikel-Nr.: 180-197

Identifikationsnummern