Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings /

Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6 WG6.1-21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea /
Published: (2002)

Formal methods and hybrid real-time systems : essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays /
Published: (2007)

Real-time systems.
Published: (1989)

Integrated formal methods : second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings /
Published: (2000)

Proceedings /
Published: (1981)

Applying formal methods : testing, performance, and M/E-commerce : FORTE 2004 Workshops : The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings /
Published: (2004)

Specification and compositional verification of real-time systems /
by: Hooman, J. (Jozef), 1955-
Published: (1991)

Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings /
Published: (1999)

Formal techniques for networked and distributed systems-- FORTE 2004 : 24th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedings /
Published: (2004)

Hard real-time computing systems : predictable scheduling algorithms and applications /
by: Buttazzo, Giorgio C., 1960-
Published: (1997)

Formal techniques for networked and distributed systems--FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings /
Published: (2002)

Advances in formal methods.
Published: (2000)

Integrated formal methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings /
Published: (2002)

Panel : real-time discussions on real-time data processing.
Published: (2021)

Safety-critical real-time systems /
Published: (1997)

Imprecise and approximate computation /
Published: (1995)

Real-time systems in mechatronic applications /
Published: (1998)

Proceedings /

Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, the Netherlands, July 3-7, 2000 : revised lectures /
Published: (2001)

Real time software design : a guide for microprocessor systems /
by: Heller, Philip
Published: (1987)

The testability of distributed real-time systems /
by: Schütz, Werner, 1961-
Published: (1993)

Operating systems and services /
Published: (1999)

Proceedings /
Published: (1999)

Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea /
Published: (2001)

Proceedings /
Published: (2002)

Ruggedized minicomputer hardware and software topics, 1981 : proceedings of a conference held in San Diego, California, February 22-25, 1981.
Published: (1981)

Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings /
Published: (2004)

Proceedings /
Published: (2003)

Formal methods for the design of real-time systems : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004 : revised lectures /
Published: (2004)

Formal aspects of security : first international conference, FASec 2002 : London, UK, December 16-18, 2002 : revised papers /
Published: (2004)

Formal methods in programming and their applications : international conference, Academgorodok, Russia, June/July 1993 : proceedings /
Published: (1993)

Advances in real-time systems /
Published: (1995)

Formal methods for protocol engineering and distributed systems : FORTE XII/PSTV XIX'99 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing, and Verification (PSTV XIX) : October 5-8, 1999, Beijing, China /
Published: (1999)

Applying formal methods : testing, performance, and M/E-commerce : FORTE 2004 workshops, TheFormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings /
Published: (2004)

Moderne Realzeitsysteme kompakt : Eine Einführung mit Embedded Linux.
by: Quade, Jürgen
Published: (2012)

Real time programming : proceedings of the IFAC/IFIP Workshop.