Modern Formal Methods and Applications

1. Fundamentals of Formal Methods
Hossam A. Gabbar

2. Formal Methods for Process Systems Engineering
Hossam A. Gabbar

3. Formal Methods for Production Chain Management
Hossam A. Gabbar

4. Formalizing Waste Management
V. J. Pohjola

5. Formal Methods for Modeling Biological Regulatory Networks
Adrien Richard, Jean-Paul Comet, Gilles Bernot

6. Formal Methods for Specifying and Analyzing Complex Software Systems
Xudong He, Huiqun Yu, Yi Deng

7. An Algebraic Approach to Hardware Compilation
Jonathan P. Bowen, Jifeng He

8. Formal Methods for UML
Ma Encarnación Beato, Manuel Barrio-Solórzano, Carlos E. Cuesta, Pablo Fuente

DRM-restrictions

Printing: not available
Clipboard copying: not available

Keywords: SCIENCE / Chemistry / General SCI013000