Software Engineering and Formal Methods - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

34
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642246890, 9783642246906
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Synchronizing Asynchronous Conformance Testing

2011 ◽  
pp. 334-349 ◽  
Author(s):  
Neda Noroozi ◽  
Ramtin Khosravi ◽  
Mohammad Reza Mousavi ◽  
Tim A. C. Willemse
Keyword(s):  
Conformance Testing

scholarly journals Runtime Verification of Component-Based Systems

2011 ◽  
pp. 204-220 ◽  
Author(s):  
Yliès Falcone ◽  
Mohamad Jaber ◽  
Thanh-Hung Nguyen ◽  
Marius Bozga ◽  
Saddek Bensalem
Keyword(s):  
Runtime Verification

Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications

2011 ◽  
pp. 350-365 ◽  
Author(s):  
Kosuke Ono ◽  
Yoichi Hirai ◽  
Yoshinori Tanabe ◽  
Natsuko Noda ◽  
Masami Hagiya
Keyword(s):  
Program Extraction ◽  
Hadoop Mapreduce
Load More ...
Sign in / Sign up

Export Citation Format

Share Document