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

Artificial Intelligence All-in-One For Dummies

For Dummies (Computer/Tech)

Machine Learning For Dummies

For Dummies (Computer/Tech)

Autonomous Minds

How Agentic AI Predicts and Learns to Enable Productivity and Empowerment

Generative AI For Dummies

For Dummies (Business & Personal Finance)

Untangling AI

Driving Business Success Through Enterprise Automation and AI Agents

Agentic AI For Dummies

For Dummies (Computer/Tech)

AI ChatBots For Dummies

For Dummies (Computer/Tech)

Data Strategy

How to Use Data and Artificial Intelligence to Transform Your Business

Secrets Of Machine Learning

How It Works And What It Means For You

Beyond Vibe Coding

From Coder to Ai-Era Developer

The Ultimate ChatGPT Prompt Book

750+ Expert Prompts to Boost Productivity, Unlock Creative Potential, and Simplify Tasks

Scaling Responsible AI

From Enthusiasm to Execution

Situation Assessment in Aviation

Bayesian Network and Fuzzy Logic-based Approaches

AI for Understanding Subtext in Film and Drama

AI for Understanding Subtext in Film and Drama

Mobile Actuation Systems for Magnetic Small-Scale Robots

The Introduction of Artificial Intelligence into Legal Systems

AI for a Just World

Power, Liberation, and the People Left Behind

AI for the Ordinary

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

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

Data-Driven AI: A Multidisciplinary Approach

Techniques, Applications, and Insights from Multiple Domains

Logic Before Language

Rethinking AI in the Age of Illusion, Bertrand Russell and the Future of Real AI

Agentic AI for Healthcare

Building Scalable Models for Production

This product is categorised by