Explore Books on
echtzeitsystem

1-24 of 35 Books

Cover of Power-aware computer systems by babak falsafi

Power-aware computer systems

By Babak Falsafi

Cover of Strategies for real-time system specification by derek j. hatley

Strategies for real-time system specification

By Derek J. Hatley

Cover of Analysis and synthesis of distributed real-time embedded systems by paul pop,petru eles,zebo peng

Analysis and synthesis of distributed real-time embedded systems

By Paul Pop,Petru Eles,Zebo Peng

Cover of Realtime Systems by nimal nissanke

Realtime Systems

By Nimal Nissanke

Cover of Formal modeling and analysis of timed systems by wang yi

Formal modeling and analysis of timed systems

By Wang Yi

Cover of Software-intensive verteilte Echtzeitsysteme Echtzeit 2009 by wolfgang a. halang,peter holleczek

Software-intensive verteilte Echtzeitsysteme Echtzeit 2009

By Wolfgang A. Halang,Peter Holleczek

Cover of Temporal logic for real-time systems by jonathan s. ostroff

Temporal logic for real-time systems

By Jonathan S. Ostroff

Cover of Guide to the design of real-time systems by michael f. rothstein

Guide to the design of real-time systems

By Michael F. Rothstein

Cover of Embedded software and systems by icess 2005 (2005 xi'an shi, china),icess 2007 (2007 daegu, korea)

Embedded software and systems

By ICESS 2005 (2005 Xi'an Shi, China),ICESS 2007 (2007 Daegu, Korea)

Cover of Sicherheit und Verfügbarkeit in Echtzeit- und Automatisierungssystemen by peter holleczek,birgit vogel-heuser

Sicherheit und Verfügbarkeit in Echtzeit- und Automatisierungssystemen

By Peter Holleczek,Birgit Vogel-Heuser

Cover of Real-time data processing systems by william herbert desmonde

Real-time data processing systems

By William Herbert Desmonde

Cover of Introduction to the formal design of real-time systems by gray, david

Introduction to the formal design of real-time systems

By Gray, David

Cover of Modern structured analysis by edward yourdon

Modern structured analysis

By Edward Yourdon

Cover of Runtime verification by rv 2009 (2009 grenoble, france)

Runtime verification

By RV 2009 (2009 Grenoble, France)

Cover of Software technologies for embedded and ubiquitous systems by seus 2009 (2009 newport beach, calif.)

Software technologies for embedded and ubiquitous systems

By SEUS 2009 (2009 Newport Beach, Calif.)

Cover of Model-Based Engineering of Embedded Real-Time Systems by holger giese

Model-Based Engineering of Embedded Real-Time Systems

By Holger Giese

Cover of Echtzeitsysteme by dieter zo bel

Echtzeitsysteme

By Dieter Zo bel

Cover of Reliable Software Technologies – Ada-Europe 2009 by hutchison, david - undifferentiated

Reliable Software Technologies – Ada-Europe 2009

By Hutchison, David - undifferentiated

Cover of Real-time systems and their programming languages by burns, alan

Real-time systems and their programming languages

By Burns, Alan

Cover of Formal Modeling and Analysis of Timed Systems by joël ouaknine

Formal Modeling and Analysis of Timed Systems

By Joël Ouaknine

Cover of PEARL 92 by pearl 13 1992 boppard

PEARL 92

By PEARL 13 1992 Boppard

Cover of Pearl 93 by pearl 14 1993 boppard

Pearl 93

By PEARL 14 1993 Boppard

Cover of PEARL 94 by pearl 15 1994 boppard

PEARL 94

By PEARL 15 1994 Boppard

Cover of Pearl 95 by pearl 16 1995 boppard

Pearl 95

By PEARL 16 1995 Boppard