Lecture Notes in Computer Science - Formal Techniques in Real-Time and Fault-Tolerant Systems
Latest Publications

TOTAL DOCUMENTS

30

(FIVE YEARS 0)

H-INDEX

9

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540616481, 9783540706533

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Graphical formalization of real-time requirements

Lecture Notes in Computer Science - Formal Techniques in Real-Time and Fault-Tolerant Systems ◽

10.1007/3-540-61648-9_51 ◽

1996 ◽

pp. 366-384 ◽

Author(s):

Cheryl Dietz

Keyword(s):

Real Time ◽

Time Requirements

Download Full-text

Retiming techniques for Statecharts

Lecture Notes in Computer Science - Formal Techniques in Real-Time and Fault-Tolerant Systems ◽

10.1007/3-540-61648-9_34 ◽

1996 ◽

pp. 55-71 ◽

Author(s):

Andrea Maggiolo-Schettini ◽

Adriano Peron

Download Full-text

Formal methods for early fault detection

Lecture Notes in Computer Science - Formal Techniques in Real-Time and Fault-Tolerant Systems ◽

10.1007/3-540-61648-9_33 ◽

1996 ◽

pp. 40-54 ◽

Author(s):

Gerard J. Holzmann

Keyword(s):

Fault Detection ◽

Formal Methods ◽

Early Fault Detection

Download Full-text

Exhaustive computation of the scheduled task execution sequences of a real-time application

Lecture Notes in Computer Science - Formal Techniques in Real-Time and Fault-Tolerant Systems ◽

10.1007/3-540-61648-9_44 ◽

1996 ◽

pp. 246-262 ◽

Author(s):

Annie Choquet-Geniet ◽

Dominique Geniet ◽

Francis Cottet

Keyword(s):

Real Time ◽

Task Execution ◽

Real Time Application

Download Full-text

A calculus for timed automata

Lecture Notes in Computer Science - Formal Techniques in Real-Time and Fault-Tolerant Systems ◽

10.1007/3-540-61648-9_37 ◽

1996 ◽

pp. 110-129 ◽

Author(s):

Pedro R. D'Argenio ◽

Ed Brinksma

Keyword(s):

Download Full-text

Verification-driven development of a collision-avoidance protocol for the Ethernet

Lecture Notes in Computer Science - Formal Techniques in Real-Time and Fault-Tolerant Systems ◽

10.1007/3-540-61648-9_43 ◽

1996 ◽

pp. 228-245 ◽

Author(s):

Konsta Karsisto ◽

Antti Valmari

Keyword(s):

Collision Avoidance

Download Full-text

Minimizable timed automata

Lecture Notes in Computer Science - Formal Techniques in Real-Time and Fault-Tolerant Systems ◽

10.1007/3-540-61648-9_38 ◽

1996 ◽

pp. 130-147 ◽

Author(s):

Jan Springintveld ◽

Frits Vaandrager

Keyword(s):

Download Full-text

EVGC: A tool for visualizing LOTOS behavioural specifications

Lecture Notes in Computer Science - Formal Techniques in Real-Time and Fault-Tolerant Systems ◽

10.1007/3-540-61648-9_60 ◽

1996 ◽

pp. 475-478

Author(s):

Mario Marrero ◽

Alvaro Suárez

Download Full-text

Compositionality in real-time shared variable concurrency

Lecture Notes in Computer Science - Formal Techniques in Real-Time and Fault-Tolerant Systems ◽

10.1007/3-540-61648-9_54 ◽

1996 ◽

pp. 420-439 ◽

Author(s):

F. S. Boer ◽

H. Tej ◽

W. -P. Roever ◽

M. Hulst

Keyword(s):

Real Time ◽

Shared Variable

Download Full-text

The production cell: A verified real-time system

Lecture Notes in Computer Science - Formal Techniques in Real-Time and Fault-Tolerant Systems ◽

10.1007/3-540-61648-9_42 ◽

1996 ◽

pp. 208-227 ◽

Author(s):

Henning Dierks

Keyword(s):

Real Time ◽

Time System ◽

Real Time System ◽

Production Cell

Download Full-text