Formal Techniques for Networked and Distributed Sytems — FORTE 2002 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

26
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540001416, 9783540361350
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals C Wolf - A Toolset for Extracting Models from C Programs

2002 ◽  
pp. 260-275 ◽  
Author(s):  
Daniel C. Du Varney ◽  
S. Purushothaman Iyer
Keyword(s):  
C Programs

scholarly journals Use of Logic to Describe Enhanced Communications Services

2002 ◽  
pp. 130-145 ◽  
Author(s):  
Stephan Reiff-Marganiec ◽  
Kenneth J. Turner
Keyword(s):  
Communications Services

scholarly journals Formal Test Purposes and the Validity of Test Cases

2002 ◽  
pp. 114-129 ◽  
Author(s):  
Peter H. Deussen ◽  
Stephan Tobies
Keyword(s):  
Test Cases ◽  
Formal Test
Load More ...
Sign in / Sign up

Export Citation Format

Share Document