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 $89.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

Untangling AI

Driving Business Success Through Enterprise Automation and AI Agents

Before, After, and Beyond AlphaGo

AI ChatBots For Dummies

For Dummies (Computer/Tech)

Non-prioritized Belief Change

Foundations, Theory, and Algorithms

Advances in Computational Intelligence. MICAI 2025 International Workshops

HIS 2025, CIAPP 2025, WILE 2025, CHARAL 2025, ECSI 2025 Workshops, Guanajuato, Mexico, November 3â"7, 2025, Proceedings, Part I

Artificial Intelligence in Cybersecurity

Use AI to Protect Your Organization

Generative AI For Dummies

For Dummies (Business & Personal Finance)

Agentic AI For Dummies

For Dummies (Computer/Tech)

Artificial Intelligence All-in-One 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

Machine Learning For Dummies

For Dummies (Computer/Tech)

SECRETS OF MACHINE LEARNING

How It Works and What It Means for You

Data Strategy

How to Use Data and Artificial Intelligence to Transform Your Business

Artificial Intelligence For Dummies

For Dummies (Computer/Tech)

Agentic AI for Healthcare

Building Scalable Models for Production

Next-Generation Smart Cities

The Integration of AI, Blockchain, IoT and Emergent Networks

Pioneers in AI

OpenAI and the Builders of Artificial Intelligence

AI for the Ordinary

A Non-Technical Playbook for Citizens, Students, and Managers

Intelligent and Sustainable Systems

AI, Green IoT, and Adaptive Automation in Electrical and Communication Technologies

AI for a Just World

Power, Liberation, and the People Left Behind

The Introduction of Artificial Intelligence into Legal Systems

AI for Marketing

The Consumer Perspective

Beyond Algorithms

Reframing AI as Intellectual Capital for Human Flourishing

This product is categorised by