655 followers
RT @etienne_andre: "Symbolic Monitoring against Specifications Parametric in Time and Data" presented right now by @MasWag at @confCAV 2019…
RT @etienne_andre: "Symbolic Monitoring against Specifications Parametric in Time and Data" presented right now by @MasWag at @confCAV 2019…
RT @etienne_andre: "Symbolic Monitoring against Specifications Parametric in Time and Data" presented right now by @MasWag at @confCAV 2019…
"Symbolic Monitoring against Specifications Parametric in Time and Data" presented right now by @MasWag at @confCAV 2019 👨🏫🇺🇸 (joint work with @IchiroHasuo) #ERATOMMSD https://t.co/Be6QTT8O6U https://t.co/C8GDT6cr2m