Searching for "Formal Techniques in Real-Time and Fault-Tolerant Systems" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

37 documents found, showing 1 through 10. Next 10 →

Specification and Verification of Controlled Systems
by Henny B. Sipma, Zohar Manna — 1994 — Proc. FTRTFT, LNCS, 863
… appeared in the Proceedings of the Third International Symposium on Formal Techniques in Real-time…
Cited by 4 (0 self) – Add To MetaCart

Formal Methods For Developing High Assurance Computer Systems: Working Group Report
by Mats P. E. Heimdahl, Constance L. Heitmeyer — 1998
… Techniques for Real-Time Fault-Tolerant Systems [13] Figure 1: Formal methods in hardware design. Model…
Cited by 6 (0 self) – Add To MetaCart

unknown title
by John H. Wensley, Leslie Lamport, Jack Goldberg, Milton W. Green, Karl N. Levitt
…. Vytopil, editor. Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 571 of Lecture Notes…
Add To MetaCart

Formal Methods for Dependable Real-Time Systems
by John Rushby, Fred B. Schneider Underst, John A. Stankovic — 1992
… clock synchronization. In J. Vytopil, editor, Formal Techniques in RealTime and Fault-Tolerant Systems…
Cited by 1 (0 self) – Add To MetaCart

The FME Rail Annotated Rail Bibliography
by Dines Bjørner — 1998
…, November 1995. Published in: Formal Techniques for Real-Time and Fault Tolerant Systems, Bengt Jonsson…
Add To MetaCart

Critical System Properties: Survey and Taxonomy
by John Rushby, Slr Lui Sha, John P. Lehoczky, Ragunathan Rajkumar Solutions — 1994
… processing. In M. Joseph, editor, Formal Techniques in RealTime and Fault-Tolerant Systems, pages 175…
Cited by 54 (2 self) – Add To MetaCart

A ProCoS-WG Working Group Final Report: ESPRIT Working Group 8694
by Jonathan P. Bowen, C.A.R. Hoare, Hans Langmaack, Ernst-Rüdiger Olderog, Anders P. Ravn, Jonathan Bowen Et Al — 1998
… Formal Techniques in Real-Time and Fault-Tolerant Systems series, 19{ 23 September 1994 at Lubeck…
Cited by 2 (1 self) – Add To MetaCart

A ProCoS-WG Working Group Description: ESPRIT Basic Research 8694
by Jonathan P. Bowen — 1994
… is an open School and Symposium organised jointly with the existing Formal Techniques in Real-Time and Fault-Tolerant…
Add To MetaCart

ESPRIT Working Group 8694 A ProCoS-WG Working Group Final Report: ESPRIT Working Group 8694
by Procos-Wg Procos-Wg Working, Jonathan Bowen, C. A. R. Hoare, Hans Langmaack, Ernst-rüdiger Olderog, Anders P. Ravn
… Formal Techniques in Real-Time and Fault-Tolerant Systems series, held 19–23 September 1994 at Lübeck…
Add To MetaCart

Robustness and Implementability of Timed Automata
by Martin De Wulf, Laurent Doyen, Nicolas Markey, Jean-François Raskin — 2004 — In Proc. Joint Conf. Formal Modelling and Analysis of Timed Systems and Formal Techniques in Real-Time and Fault Tolerant System (FORMATS+FTRTFT’04), volume 3253 of LNCS
… of Timed Systems (FORMATS'2004) and Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'2004…
Cited by 6 (4 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB