Penulis: Thao Dang

This book constitutes the thoroughly refereedpost-workshop proceedings of the Second International Workshop on Hybrid Systems Biology, HSB 2013, held as part of the ECAL 2013 event, in Taormina, …

This book constitutes the refereed proceedings of the 22nd International Conference on Runtime Verification, RV 2022, held in Tbilisi, Georgia, during September 28-30, 2022. The 12 regular papers and …