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

Manfred Jaeger, Kim G Larsen, Alessandro Tibo

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

2 Citationer (Scopus)
138 Downloads (Pure)

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.

Computer Science