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

Modern Formal Methods and Applications ◽

10.1007/1-4020-4223-x_6 ◽

2006 ◽

pp. 123-150 ◽

Author(s):

Xudong He ◽

Huiqun Yu ◽

Yi Deng

Keyword(s):

Formal Methods ◽

Software Systems

Download Full-text

Fundamentals of Formal Methods

Modern Formal Methods and Applications ◽

10.1007/1-4020-4223-x_1 ◽

2006 ◽

pp. 1-20 ◽

Author(s):

Hossam A. Gabbar

Keyword(s):

Download Full-text

Formalizing Waste Management

Modern Formal Methods and Applications ◽

10.1007/1-4020-4223-x_4 ◽

2006 ◽

pp. 47-82 ◽

Author(s):

V. J. Pohjola

Keyword(s):

Waste Management

Download Full-text

Formal Methods for Modeling Biological Regulatory Networks

Modern Formal Methods and Applications ◽

10.1007/1-4020-4223-x_5 ◽

2006 ◽

pp. 83-122 ◽

Author(s):

Adrien Richard ◽

Jean-Paul Comet ◽

Gilles Bernot

Keyword(s):

Formal Methods ◽

Regulatory Networks ◽

Biological Regulatory Networks

Download Full-text

Formal Methods for Production Chain Management

Modern Formal Methods and Applications ◽

10.1007/1-4020-4223-x_3 ◽

2006 ◽

pp. 37-46 ◽

Author(s):

Hossam A. Gabbar

Keyword(s):

Formal Methods ◽

Production Chain ◽

Chain Management

Download Full-text

An Algebraic Approach to Hardware Compilation

Modern Formal Methods and Applications ◽

10.1007/1-4020-4223-x_7 ◽

2006 ◽

pp. 151-176

Author(s):

Jonathan P. Bowen ◽

Jifeng He

Keyword(s):

Algebraic Approach ◽

Hardware Compilation

Download Full-text

Formal Methods for Process Systems Engineering

Modern Formal Methods and Applications ◽

10.1007/1-4020-4223-x_2 ◽

2006 ◽

pp. 21-35

Author(s):

Hossam A. Gabbar

Keyword(s):

Formal Methods ◽

Systems Engineering ◽

Process Systems Engineering ◽

Process Systems

Download Full-text