About this scholarly article

2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) - Further steps towards efficient runtime verification: Handling probabilistic cost models by Filieri, Antonio; Ghezzi, Carlo is a scholarly article available to read on EtoBox.

Author

Filieri, Antonio; Ghezzi, Carlo

Publisher

IEEE

Published

2012