%0 Conference Paper %1 conf/wosp/0001HZH23 %A Frank, Sebastian %A Hakamian, M. Alireza %A Zahariev, Denis %A van Hoorn, André %B ICPE (Companion) %D 2023 %E Vieira, Marco %E Cardellini, Valeria %E Marco, Antinisca Di %E Tuma, Petr %I ACM %K dblp %P 319-326 %T Verifying Transient Behavior Specifications in Chaos Engineering Using Metric Temporal Logic and Property Specification Patterns. %U http://dblp.uni-trier.de/db/conf/wosp/icpe2023c.html#0001HZH23

@inproceedings{conf/wosp/0001HZH23, added-at = {2023-04-29T00:00:00.000+0200}, author = {Frank, Sebastian and Hakamian, M. Alireza and Zahariev, Denis and van Hoorn, André}, biburl = {https://www.bibsonomy.org/bibtex/2a5488514fa9322f643cfa56100687471/dblp}, booktitle = {ICPE (Companion)}, crossref = {conf/wosp/2023c}, editor = {Vieira, Marco and Cardellini, Valeria and Marco, Antinisca Di and Tuma, Petr}, ee = {https://doi.org/10.1145/3578245.3584314}, interhash = {d9920a65802f69e3877377685fd76841}, intrahash = {a5488514fa9322f643cfa56100687471}, keywords = {dblp}, pages = {319-326}, publisher = {ACM}, timestamp = {2024-04-09T23:09:02.000+0200}, title = {Verifying Transient Behavior Specifications in Chaos Engineering Using Metric Temporal Logic and Property Specification Patterns.}, url = {http://dblp.uni-trier.de/db/conf/wosp/icpe2023c.html#0001HZH23}, year = 2023 }