Applied formal methods--FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings / Dieter Hutter [and others] (eds.)
This book constitutes the thoroughly refereed post-workshop proceedings of the International Workshop on Current Trends in Applied Formal Methods, FM-Trends 98, held in Boppard, Germany, in October 1998. The book presents two invited papers, 14 regular papers, three application papers, and eight too...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Author: | |
| Other Authors: | |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
©1999.
|
| Series: | Lecture notes in computer science ;
1641. |
| Subjects: |
| Summary: | This book constitutes the thoroughly refereed post-workshop proceedings of the International Workshop on Current Trends in Applied Formal Methods, FM-Trends 98, held in Boppard, Germany, in October 1998. The book presents two invited papers, 14 regular papers, three application papers, and eight tool presentations. All these papers were carefully reviewed and revised for inclusion in the book. The papers address all current issues in applying formal methods during the different design stages of software systems for use in various application fields. |
|---|---|
| Physical Description: | 1 online resource (xi, 376 pages) : illustrations. |
| Bibliography: | Includes bibliographical references. |
| ISBN: | 3540482571 9783540482574 |