From Statistical Model Checking to Run-Time Monitoring Using a Bayesian Network Approach

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

1 Downloads (Pure)
OriginalsprogEngelsk
TitelRuntime Verification - 20th International Conference, RV 2020, Proceedings
RedaktørerJyotirmoy Deshmukh, Dejan Nickovic
Antal sider19
ForlagSpringer Science+Business Media
Publikationsdato2020
Sider517-535
ISBN (Trykt)978-3-030-60507-0
ISBN (Elektronisk)978-3-030-60508-7
DOI
StatusUdgivet - 2020
BegivenhedRV 2020: International Conference on Runtime Verification - Los Angeles, USA
Varighed: 6 okt. 20209 okt. 2020

Konference

KonferenceRV 2020: International Conference on Runtime Verification
LandUSA
ByLos Angeles
Periode06/10/202009/10/2020
NavnLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol/bind12399 LNCS
ISSN0302-9743

Fingeraftryk Dyk ned i forskningsemnerne om 'From Statistical Model Checking to Run-Time Monitoring Using a Bayesian Network Approach'. Sammen danner de et unikt fingeraftryk.

Citationsformater