Applied Formal Methods — FM-Trends 98 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

28
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540664628, 9783540482574
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Automated Test Set Generation for Statecharts

1999 ◽  
pp. 107-121 ◽  
Author(s):  
K. Bogdanov ◽  
M. Holcombe ◽  
H. Singh
Keyword(s):  
Test Set ◽  
Automated Test

The IFAD VDM Tools

1999 ◽  
pp. 326-329 ◽  
Author(s):  
Sten Agerholm ◽  
Peter Gorm Larsen

Translation Validation: From DC+ to C

1999 ◽  
pp. 137-150 ◽  
Author(s):  
A. Pnueli ◽  
O. Shtrichman ◽  
M. Siegel
Keyword(s):  
Translation Validation

VSE: Controlling the Complexity in Formal Software Developments

1999 ◽  
pp. 351-358 ◽  
Author(s):  
Dieter Hutter ◽  
Heiko Mantel ◽  
Georg Rock ◽  
Werner Stephan ◽  
Andreas Wolpers ◽  
...  

PVS: An Experience Report

1999 ◽  
pp. 338-345 ◽  
Author(s):  
S. Owre ◽  
J. M. Rushby ◽  
N. Shankar ◽  
D. W. J. Stringer-Calvert
Keyword(s):  
Experience Report
Load More ...
Sign in / Sign up

Export Citation Format

Share Document