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

TOTAL DOCUMENTS

41
(FIVE YEARS 0)

H-INDEX

11
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540474609, 9783540474623
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Discovering Likely Method Specifications

2006 ◽  
pp. 717-736 ◽  
Author(s):  
Nikolai Tillmann ◽  
Feng Chen ◽  
Wolfram Schulte

scholarly journals Checking the Conformance of Java Classes Against Algebraic Specifications

2006 ◽  
pp. 494-513 ◽  
Author(s):  
Isabel Nunes ◽  
Antónia Lopes ◽  
Vasco Vasconcelos ◽  
João Abreu ◽  
Luís S. Reis
Keyword(s):  
Algebraic Specifications

scholarly journals Mapping RT-LOTOS Specifications into Time Petri Nets

2006 ◽  
pp. 360-379
Author(s):  
Tarek Sadani ◽  
Marc Boyer ◽  
Pierre de Saqui-Sannes ◽  
Jean-Pierre Courtiat
Keyword(s):  
Petri Nets ◽  
Time Petri Nets
Load More ...
Sign in / Sign up

Export Citation Format

Share Document