Runtime Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

11
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540892465, 9783540892472
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Checking Traces for Regulatory Conformance

2008 ◽  
pp. 86-103 ◽  
Author(s):  
Nikhil Dinesh ◽  
Aravind Joshi ◽  
Insup Lee ◽  
Oleg Sokolsky

A Smell of Orchids

2008 ◽  
pp. 1-20 ◽  
Author(s):  
Jean Goubault-Larrecq ◽  
Julien Olivain

scholarly journals Property Patterns for Runtime Monitoring of Web Service Conversations

2008 ◽  
pp. 137-157 ◽  
Author(s):  
Jocelyn Simmonds ◽  
Marsha Chechik ◽  
Shiva Nejati ◽  
Elena Litani ◽  
Bill O’Farrell
Keyword(s):  
Web Service ◽  
Runtime Monitoring ◽  
Property Patterns

Deadlocks: From Exhibiting to Healing

2008 ◽  
pp. 104-118 ◽  
Author(s):  
Yarden Nir-Buchbinder ◽  
Rachel Tzoref ◽  
Shmuel Ur
Load More ...
Sign in / Sign up

Export Citation Format

Share Document