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...

Ful tanımlama

Kaydedildi:
Detaylı Bibliyografya
Müşterek Yazar: SpringerLink (Online service)
Diğer Yazarlar: Smolka, Scott A., Bonakdarpour, Borzoo
Materyal Türü: Ekitap
Dil:English
Baskı/Yayın Bilgisi: Cham Springer International Publishing 2014.
Seri Bilgileri:Lecture Notes in Computer Science 8734
Konular:
Online Erişim:Click here to view the full text content
Etiketler: Etiketle
Etiket eklenmemiş, İlk siz ekleyin!

Sistem Bakımda

Kütüphane sistemimiz bakımda.

Kopya kayıtları ve kayıların durum bilgileri şu anda erişilebilir değil. Bunun için özür dileriz, daha fazla yardım için bizimle irtibata geçebilirsiniz:

david@pintaran.my

Internet

Click here to view the full text content