Runtime Verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers /

Lignende værker

• Runtime Verification : 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers /
  af: Oleg Sokolsky, Serdar Ta..ran
  Udgivet: (2007, c2007)
• Runtime Verification : Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers /
  af: Sarfraz Khurshid, Koushik Sen
  Udgivet: (2012, c2012)
• Runtime Verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014 : Proceedings /
  Udgivet: (2014, c2014)
• Runtime Verification : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers /
  af: Saddek Bensalem, Doron A. Peled
  Udgivet: (2009, c2009)
• Runtime Verification : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers /
  af: Martin Leucker
  Udgivet: (2008, c2008)