Lecture Notes in Computer Science

5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings

By: Anders P. Ravn (Editor), Hans Rischel (Editor)

Write A Review

Paperback | 2 September 1998

At a Glance

Paperback
356 Pages

Dimensions(cm)
22.86 x 15.88 x 2.54

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Systems Analysis & Design Databases Data Capture & Analysis Medicine Medicine in General Computer Programming & Software Development Programming & Scripting Languages Compilers & Interpreters Computer Architecture & Logic Design

Operating Systems Artificial Intelligence Expert Systems & Knowledge-Based Systems Computer Hardware

Invited Lectures
Challenges in the Utilization of Formal Methods	p. 1
On the Need for "Practical" Formal Methods	p. 18
A General Framework for the Composition of Timed Systems	p. 27
Selected Presentations
Temporal Logic
Operational and Logical Semantics for Polling Real-Time Systems	p. 29
A Finite-Domain Semantics for Testing Temporal Logic Specifications	p. 41
Duration Calculus of Weakly Monotonic Time	p. 55
Requirements Engineering
Reuse in Requirements Engineering: Discovery and Application of a Real-Time Requirement Pattern	p. 65
A Modular Visual Model for Hybrid Systems	p. 75
Integrating Real-Time Structured Design and Formal Techniques	p. 92
Duration Calculus in the Specification of Safety Requirements	p. 103
Analysis Techniques
Automated Stream-Based Analysis of Fault-Tolerance	p. 113
Designing a Provably Correct Robot Control System Using a 'Lean' Formal Method	p. 123
Static Analysis to Identify Invariants in RSML Specifications	p. 133
Partition Refinement in Real-Time Model Checking	p. 143
Verification
Formal Verification of Stabilizing Systems	p. 158
VIIISynchronizing Clocked Transition Systems	p. 173
Some Decidability Results for Duration Calculus under Synchronous Interpretation	p. 186
Fair Synchronous Transition Systems and Their Liveness Proofs	p. 198
Model Checking
Dynamical Properties of Timed Automata	p. 210
An Algorithm for the Approximative Analysis of Rectangular Automata	p. 228
On Checking Parallel Real-Time Systems for Linear Duration Properties	p. 241
A Practical and Complete Algorithm for Testing Real-Time Systems	p. 251
Applications
Mechanical Verification of Clock Synchronization Algorithms	p. 262
Compiling Graphical Real-Time Specifications into Silicon	p. 272
Towards a Formal Semantics of Verilog Using Duration Calculus	p. 282
Tools Demonstrations
The ICOS Synthesis Environment	p. 294
Kronos: A Model-Checking Tool for Real-Time Systems	p. 298
SGLOT: A Visual Tool for Structural LOTOS Specifications	p. 303
Discrete-Time Promela and Spin	p. 307
Moby/plc - Graphical Development of PLC-Automata	p. 311
Invited Paper
Predictability in Critical Systems	p. 315
Author Index	p. 339
Table of Contents provided by Publisher. All Rights Reserved.

Lecture Notes in Computer Science

5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Expert Systems & Knowledge-Based Systems

Practical Multi-Agent AI Systems

How to Architect, Build, and Scale Next-Generation AI Systems That Work in the Real World

AI for Public Relations

A How-To Guide for Implementation and Management

Claude For Dummies

Data Science and Social Research III

Epistemology, Methods, Technology, Applications, and Relation to Artificial Intelligence

Artificial Intelligence For Dummies

For Dummies (Computer/Tech)

AI for Good

How Real People Are Using Artificial Intelligence to Fix Things That Matter

Untangling AI

Driving Business Success Through Enterprise Automation and AI Agents

Artificial Intelligence All-in-One For Dummies

For Dummies (Computer/Tech)

Generative AI For Dummies

For Dummies (Business & Personal Finance)

Data Strategy

How to Use Data and Artificial Intelligence to Transform Your Business

AI Agents - The Definitive Guide

MCP For Dummies

AI-Ready Data

Robust Safety-Critical Control

Theory, Application and Experiments

Pioneers in AI

OpenAI and the Builders of Artificial Intelligence

Ontological Prisms

Knowledge Engineering for Enterprise & Agentic Systems

Agentic AI For Dummies

For Dummies (Computer/Tech)

AI ChatBots For Dummies

For Dummies (Computer/Tech)

Machine Learning For Dummies

For Dummies (Computer/Tech)

Scaling Responsible AI

From Enthusiasm to Execution

Autonomous Minds

How Agentic AI Predicts and Learns to Enable Productivity and Empowerment

Participatory Governance, Social Work and Social Policy in Times of AI

Voices That Matter

AI for Understanding Subtext in Film and Drama

AI for Understanding Subtext in Film and Drama

This product is categorised by