Runtime verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings /
This book constitutes the refereed proceedings of the 5th International Conference on Runtime Verification, RV 2014, held in Toronto, ON, Canada in September 2014. The 28 revised full papers presented together with 2 tool papers, and 8short papers were carefully reviewed and selected from 70 submis...
Պահպանված է:
Համատեղ հեղինակ: | SpringerLink (Online service) |
---|---|
Այլ հեղինակներ: | Smolka, Scott A., Bonakdarpour, Borzoo |
Ձևաչափ: | էլ․ գիրք |
Լեզու: | English |
Հրապարակվել է: |
Cham
Springer International Publishing
2014.
|
Շարք: | Lecture Notes in Computer Science
8734 |
Խորագրեր: | |
Առցանց հասանելիություն: | Click here to view the full text content |
Ցուցիչներ: |
Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
Նմանատիպ նյութեր
-
Runtime verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings /
Հրապարակվել է: (2013) -
Runtime verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers /
Հրապարակվել է: (2013) -
Runtime verification first international conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings /
Հրապարակվել է: (2010) -
Runtime verification : Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers /
Հրապարակվել է: (2012) -
Runtime verification : 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings /
Հրապարակվել է: (2015)