Statistical model checking the 2018 edition!

Kim Guldstrand Larsen*, Axel Legay

*Kontaktforfatter

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

OriginalsprogEngelsk
TitelISoLA 2018 : Leveraging Applications of Formal Methods, Verification and Validation. Verification
RedaktørerTiziana Margaria, Bernhard Steffen
Antal sider10
ForlagSpringer
Publikationsdato1 jan. 2018
Sider261-270
ISBN (Trykt)9783030034207
DOI
StatusUdgivet - 1 jan. 2018
Begivenhed8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018 - Limassol, Cypern
Varighed: 5 nov. 20189 nov. 2018

Konference

Konference8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018
LandCypern
ByLimassol
Periode05/11/201809/11/2018
NavnLecture Notes in Computer Science
Vol/bind11245 LNCS
ISSN0302-9743

Citationsformater