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

AI for Public Relations

A How-To Guide for Implementation and Management

Data Science and Social Research III

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

AI for Good

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

Claude For Dummies

Artificial Intelligence All-in-One For Dummies

For Dummies (Computer/Tech)

Machine Learning For Dummies

For Dummies (Computer/Tech)

Generative AI For Dummies

For Dummies (Business & Personal Finance)

Untangling AI

Driving Business Success Through Enterprise Automation and AI Agents

Data Strategy

How to Use Data and Artificial Intelligence to Transform Your Business

The Ultimate ChatGPT Prompt Book

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

Emerging Trends in Sustainable Energy, Smart Systems, and Green Technology

Google Gemini For Dummies

Pioneers in AI

OpenAI and the Builders of Artificial Intelligence

Ontological Prisms

Knowledge Engineering for Enterprise & Agentic Systems

Brain-Inspired AI for Sustainable Development

Knowledge-based Engineering for Innovation

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

Voices That Matter

Shaping Tomorrow

The Human Journey with AI

Smart, Inclusive, and Sustainable Digital Societies

AI and Human-Centred Innovation

Smart, Secure, and Sustainable Digital Futures

AI, Cybersecurity, and Governance in Emerging Digital Systems

AI for Marketing

The Consumer Perspective

AI for Understanding Subtext in Film and Drama

AI for Understanding Subtext in Film and Drama

TinyML Foundations and Applications on Arduino Microcontrollers with MATLAB

TinyML Foundations and Applications on Arduino Microcontrollers with MATLAB

This product is categorised by