Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems
![]() |
![]() |
@inproceedings{modelchecking-sac09,
Address = {Honolulu, Hawai'i, USA},
Author = {Casadei, Matteo and Viroli, Mirko},
Booktitle = {24th Annual ACM Symposium on Applied Computing (SAC 2009)},
Editor = {Shin, Sung Y. and Ossowski, Sascha and Menezes, Ronaldo and Viroli, Mirko},
Isbn = {978-1-60558-166-8},
Month = {8--12~} # mar,
Pages = {2103--2104},
Publisher = {ACM},
Title = {Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems},
Volume = {III},
Year = 2009}
Address = {Honolulu, Hawai'i, USA},
Author = {Casadei, Matteo and Viroli, Mirko},
Booktitle = {24th Annual ACM Symposium on Applied Computing (SAC 2009)},
Editor = {Shin, Sung Y. and Ossowski, Sascha and Menezes, Ronaldo and Viroli, Mirko},
Isbn = {978-1-60558-166-8},
Month = {8--12~} # mar,
Pages = {2103--2104},
Publisher = {ACM},
Title = {Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems},
Volume = {III},
Year = 2009}