QR-Code

Real-time systems : formal specification and automatic verification /

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Olderog, Ernst-Rüdiger (VerfasserIn), Dierks, Henning, 1970- (VerfasserIn)
Format:	Buch
Sprache:	Englisch
Veröffentlicht:	Cambridge : Cambridge University Press, 2008
Ausgabe:	1st ed.
Schlagworte:	systém v reálnom čase časový automat vstavaný systém matematický model automatická verifikácia príručky
ISBN:	9780521883337
Online-Zugang:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Real-time embedded systems : optimization, synthesis, and networking /
von: Qiu, Meikang, et al.
Veröffentlicht: (2011)

Reconfigurable embedded control systems : applications for flexibility and agility /
Veröffentlicht: (2011)

Software engineering for parallel real-time systems : Proceedings of the internat. workshop, Smolenice, March 1993 /
von: Henkel, J.
Veröffentlicht: (1993)

First ACM and IEEE international conference on formal methods and models for co-design. MEMOCODE'03 : Proceedings, Mont Saint-Michel, France, 24 - 26 June 2003 /
von: Meseguer, José
Veröffentlicht: (2003)

Mathematical modelling of technical processes. Prepared within SOCRATES - ERAMUS programme : MAMOTEP, Prešov, July 2 - 13, 2001 /
von: Hrubina, Kamil
Veröffentlicht: (2001)

Hybrid dynamical systems : controller and sensor switching problems /
von: Savkin, Andrey V., et al.
Veröffentlicht: (2002)

Automatic verification of road databases using multiple road models /
von: Ziems, Marcel 1977-
Veröffentlicht: (2014)

Applications in parallel and distributed computing : Proceedings of the IFIP WG10.3 working conf., Caracas, Venezuela, 18 - 22 April, 1994 /
von: Misra, Manavendra
Veröffentlicht: (1994)

Computer aided verification : Proceedings, Elounda, Greece, June 28 - July 1, 1993 /
von: Courcoubetis, Costas
Veröffentlicht: (1993)

Architectures and compilation techniques for fine and medium grain parallelism : Proceedings of the IFIP WG10.3 working conf., Orlando, Florida, USA, 20 - 22 Jan., 1993 /
von: Wang, Jian
Veröffentlicht: (1993)

Logické systémy /
von: Jáneš, Vlastimil
Veröffentlicht: (2001)

Network and operating systems support for digital audio and video : Proceedings, Durham, New Hampshire, USA, April 19-21, 1995 /
von: Little, Thomas D. C.
Veröffentlicht: (1995)

Logické systémy /
von: Jáneš, Vlastimil
Veröffentlicht: (1998)

Dynamical systems and automatic control /
von: Carvalho, J. L. Martins de
Veröffentlicht: (1993)

Automatics and informatics '03 : international conference, Sofia, Bulgaria, October 6-8, 2003 : proceedings.
von: Karadimas, N.
Veröffentlicht: (2003)

Proceedings of the seventh symposium on microcomputer and microprocessor application. Vol. II : Budapest, Hungary, 22 - 24 April, 1992 /
von: Dudás, József
Veröffentlicht: (1992)

A formal approach to hardware design /
von: Staunstrup, Jorgen
Veröffentlicht: (1994)

Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung. Band 1 /
von: Bieber, E.
Veröffentlicht: (1995)

LabVIEW 8. Evaluation CD
Veröffentlicht: (2008)

Specification and compositional verification of real-time systems /
von: Hooman, Jozef Johannes Maria
Veröffentlicht: (1991)

Design and test technology for dependable systems-on-chip /
Veröffentlicht: (2011)

FME '93. Industrial-strength formal methods : Proceedings, Odense, Denmark, April 19 - 23, 1993 /
von: Jones, C. B.
Veröffentlicht: (1993)

Mathematical modelling of technical processes. Prepared within SOCRATES - ERASMUS programme : Košice, July 10 - 21, 2000 /
von: Hapáková, Anna
Veröffentlicht: (2000)

Cellular automata and complexity : collected papers /
von: Wolfram, Stephen, 1959-
Veröffentlicht: (1994)

Embedded systems architecture : a comprehensive guide for engineers and programmers /
von: Noergaard, Tammy
Veröffentlicht: (2013)

Introduction to embedded systems : interfacing to the Freescale 9S12 /
von: Valvano, Jonathan W. 1953-
Veröffentlicht: (2010)

Řízení programovatelnými automaty. II. díl /
von: Martinásková, Marie
Veröffentlicht: (2000)

Vector quantization /
von: Abut, Hüseyin
Veröffentlicht: (1990)

Multi-core embedded systems /
Veröffentlicht: (2010)

Handbook of research on ambient intelligence and smart environments : trends and perspectives /
Veröffentlicht: (2011)

Posudzovanie bezpečnosti technických zariadení. Modul 5.2 /
von: Dussart, Daniel
Veröffentlicht: (2000)

Teorija avtomatičeskogo upravlenija : linejnyje sistemy /
von: Mirošnik, Iľja Vasiľjevič
Veröffentlicht: (2005)

Investigation of the performance of dynamical systems and algorithms : Papers for the seminar, /
von: Paulauskas, Celestinas
Veröffentlicht: (1991)

ASRTP '96. Volume II : Proceedings of 12th internat. conf. on process control and simulation, Sept. 10 - 13, 1996 /
von: Leško, Michal
Veröffentlicht: (1996)

Anlagenautomatisierung. Themenkomplex 2. Prozessautomatisierung : 6. Internat. Wissenschaftliche Konf., 22. - 24. 5. 1990 /
von: Ehrlich, H.
Veröffentlicht: (1990)

Návrh matematického modelu na opis správania sa húževnatých materiálov v extrémnych podmienkach : autoreferát habilitačnej práce /
von: Écsi, Ladislav, 1970-
Veröffentlicht: (2013)

Signály a sústavy. Návody na cvičenia /
von: Ondráček, Oldřich 1950-
Veröffentlicht: (1998)

Acta meteorologica Universitatis Comenianae.
von: Hrvoľ, Ján
Veröffentlicht: (2007)

Models of real and optimum energy balances /
von: Carabulea, A.
Veröffentlicht: (1990)

Multiequilibrium game of timing and competition of gas pipeline projects /
von: Klaassen, G.
Veröffentlicht: (2004)