An airbag in a car has to unfold within 300 milliseconds in a crash. Many embedded safety-critical applications like this, rely on real-time software specification techniques. This graduate textbook introduces three of these methods: duration calculus, timed automata, and PLC-automata.

Biograf�a del autor:

E.-R. Olderog is Professor of Computer Science at the University of Oldenburg, Germany. In 1994 he was awarded the Leibniz Prize of the German Research Council (DFG).

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

Professional Book Seller offering fast shipping and hassle-free returns for every order. Our 100% satisfaction policy guarantees that you get the best product and the best service at the best price!

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Basi6 International LLC
1018 Camino Lago, Irving, TX, 75039, U.S.A.

Condiciones de venta:

Professional Book Seller shipping from Multiple Locations Worldwide for fastest delivery possible!

Condiciones de env�o:

All orders shipped via FedEx or DHL and delivered to your doorstep within 3-5 days. We do not ship to P.O.Boxes and a proper street address must be provided to avoid any delays.

Informaci�n detallada sobre el vendedor

M�todos de pago
aceptados por la librer�a

A�adir una petici�n

Art�culos relacionados a REAL-TIME SYSTEMS: FORMAL SPECIFICATION AND AUTOMATIC...

REAL-TIME SYSTEMS: FORMAL SPECIFICATION AND AUTOMATIC VERIFICATION

Ernst-R�diger Olderog

Nuevos - Encuadernaci�n de tapa dura

Informaci�n empresarial del vendedor