Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium, Ftrtft'98, Lyngby, Denmark, September 14-18, 1998, Proceedings
| PUBLISHER | Springer (09/02/1998) |
| PRODUCT TYPE | Paperback (Paperback) |
Description
This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held in Lyngby, Denmark, in September 1998.
The 22 revised full papers presented were carefully selected and reviewed for inclusion in the book. Also included are four invited contributions and five tool demonstrations. The papers address the current aspects of the hot topic of embedded systems, in particular temporal logic, requirements engineering, analysis techniques, verification, model checking, and applications.
The 22 revised full papers presented were carefully selected and reviewed for inclusion in the book. Also included are four invited contributions and five tool demonstrations. The papers address the current aspects of the hot topic of embedded systems, in particular temporal logic, requirements engineering, analysis techniques, verification, model checking, and applications.
Show More
Product Format
Product Details
ISBN-13:
9783540650034
ISBN-10:
3540650032
Binding:
Paperback or Softback (Trade Paperback (Us))
Content Language:
English
More Product Details
Page Count:
347
Carton Quantity:
24
Product Dimensions:
6.14 x 0.74 x 9.21 inches
Weight:
1.10 pound(s)
Country of Origin:
DE
Subject Information
BISAC Categories
Computers | Data Science - General
Computers | General
Computers | Languages - General
Dewey Decimal:
004.33
Library of Congress Control Number:
98040041
Descriptions, Reviews, Etc.
publisher marketing
This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held in Lyngby, Denmark, in September 1998.
The 22 revised full papers presented were carefully selected and reviewed for inclusion in the book. Also included are four invited contributions and five tool demonstrations. The papers address the current aspects of the hot topic of embedded systems, in particular temporal logic, requirements engineering, analysis techniques, verification, model checking, and applications.
The 22 revised full papers presented were carefully selected and reviewed for inclusion in the book. Also included are four invited contributions and five tool demonstrations. The papers address the current aspects of the hot topic of embedded systems, in particular temporal logic, requirements engineering, analysis techniques, verification, model checking, and applications.
Show More
Editor:
Rischel, Hans
Hans Rischel is a former Associate Professor in the Department of Informatics and Mathematical Modelling at the Technical University of Denmark. He is the author of Introduction to Programming Using SML (with Michael R. Hansen).
Show More
List Price $54.99
Your Price
$54.44