FM’99 — Formal Methods - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

62
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540665885, 9783540481188
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Maude as a formal meta-tool

1999 ◽  
pp. 1684-1703 ◽  
Author(s):  
M. Clavel ◽  
F. Durán ◽  
S. Eker ◽  
J. Meseguer ◽  
M. O. Stehr

scholarly journals Cronos: a separate compilation tool set for modular esterel applications

1999 ◽  
pp. 1836-1853 ◽  
Author(s):  
Olivier Hainque ◽  
Laurent Pautet ◽  
Yann Le Biannic ◽  
Éric Nassor
Keyword(s):  
Separate Compilation ◽  
Tool Set

scholarly journals Secure synthesis of code: a process improvement experiment

1999 ◽  
pp. 1816-1835 ◽  
Author(s):  
P. Garbett ◽  
J. P. Parkes ◽  
M. Shackleton ◽  
S. Anderson
Keyword(s):  
Process Improvement
Load More ...
Sign in / Sign up

Export Citation Format

Share Document