Cited By
View all- Hallé STremblay-Lessard R(2012)A case for "Piggyback" Runtime MonitoringProceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I10.1007/978-3-642-34026-0_23(295-311)Online publication date: 15-Oct-2012