Skip to content

Utilizing Hidden Markov Models for Formal Reliability Analysis of Real-Time Communication Systems with Errors.

Maurice Sebastian, Philip Axer, Rolf Ernst

VenueCPRDC
Year2011
ProceedingsPRDC

Browse the full PRDC paper archive.