Modern Formal Methods and Applications
Latest Publications

TOTAL DOCUMENTS

7
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer-Verlag

1402042221
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formal Methods for Specifying and Analyzing Complex Software Systems

2006 ◽  
pp. 123-150 ◽  
Author(s):  
Xudong He ◽  
Huiqun Yu ◽  
Yi Deng
Keyword(s):  
Formal Methods ◽  
Software Systems

Fundamentals of Formal Methods

2006 ◽  
pp. 1-20 ◽  
Author(s):  
Hossam A. Gabbar
Keyword(s):  
Formal Methods

Formalizing Waste Management

2006 ◽  
pp. 47-82 ◽  
Author(s):  
V. J. Pohjola
Keyword(s):  
Waste Management

scholarly journals Formal Methods for Modeling Biological Regulatory Networks

2006 ◽  
pp. 83-122 ◽  
Author(s):  
Adrien Richard ◽  
Jean-Paul Comet ◽  
Gilles Bernot
Keyword(s):  
Formal Methods ◽  
Regulatory Networks ◽  
Biological Regulatory Networks

Formal Methods for Production Chain Management

2006 ◽  
pp. 37-46 ◽  
Author(s):  
Hossam A. Gabbar
Keyword(s):  
Formal Methods ◽  
Production Chain ◽  
Chain Management

An Algebraic Approach to Hardware Compilation

2006 ◽  
pp. 151-176
Author(s):  
Jonathan P. Bowen ◽  
Jifeng He
Keyword(s):  
Algebraic Approach ◽  
Hardware Compilation
Load More ...
Sign in / Sign up

Export Citation Format

Share Document