QR-Code

Formal techniques for verification of complex real-time systems /

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Geilen, Marc Constantijn Willem
Format:	Abschlussarbeit Buch
Sprache:	Englisch
Veröffentlicht:	Eindhoven : Technická univerzita, 2002
Ausgabe:	[1st ed.]
Schlagworte:	časová logika > diskrétna simulácia > matematika
ISBN:	9038619308
Online-Zugang:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

Tools and algorithms for the construction and analysis of systems : Proceedings, Warsaw, Poland, April 7 - 11, 2003 /
von: Lee, Peter
Veröffentlicht: (2003)

Verfahren zur Behandlung zeitlicher Beziehungen in Echtzeitexpertensystemen und zur Integration wissensbasierter Komponenten in Automatisierungssysteme /
von: Beck, Thomas
Veröffentlicht: (1992)

Real-time systems : formal specification and automatic verification /
von: Olderog, Ernst-Rüdiger, et al.
Veröffentlicht: (2008)

VERIFICATION AND VALIDATION OF REAL-TIME SOFTWARE /
von: Bologna, S.
Veröffentlicht: (1985)

Úvod do diskrétnej matematiky /
von: Jablonskij, Sergej Vsevolodovič
Veröffentlicht: (1984)

Diskrétní matematika pro užitou informatiku /
von: Mezník, Ivan 1942-
Veröffentlicht: (2009)

Formal System Verification State-of the-Art and Future Trends /
Veröffentlicht: (2018)

Data structures using Modula-2 /
von: Sincovec, Richard F.
Veröffentlicht: (1986)

Algebraické metody diskrétní matematiky /
von: Kučera, Luděk
Veröffentlicht: (1989)

Diskrétní matematika.
von: Kopka, Jan, 1941-, et al.
Veröffentlicht: (1990)

Matematika a logika : retrospektiva a perspektivy /
von: Kac, Mark, 1914-1984, et al.
Veröffentlicht: (1977)

Matematická logika /
von: Čulík, K.
Veröffentlicht: (1973)

Connecting informal and formal mathematics /
von: Elbers, Hugo Johannes
Veröffentlicht: (1998)

TAU 97. 1997 ACM/IEEE international workshop on timing issues in the specification and synthesis of digital systems : Austin, Texas, Dec. 4 - 5, 1997 /
von: Malik, Sharad
Veröffentlicht: (1997)

Cvičení z matematiky. I. díl /
von: Heleyová, Zuzana
Veröffentlicht: (1997)

Introduction to probability /
von: Snell, J. Laurie (James Laurie) 1925-
Veröffentlicht: (1988)

Simulácia systémov /
von: Jerz, Vladimír 1957-
Veröffentlicht: (1991)

A constructive method for the architectural design and correctness verification of real-time programs /
von: Saukkonen, Samuli
Veröffentlicht: (1983)

Artificial intelligence in real time control. 1994 : IFAC symposium, Valencia, Spain, 3 - 5 Oct. 1994 /
von: Crespo, Alfons
Veröffentlicht: (1995)

Invitation to discrete mathematics /
von: Matoušek, Jiří 1963-, et al.
Veröffentlicht: (2009)

Video Codec design. Developing image and video compression systems /
von: Richardson, Iain E. G.
Veröffentlicht: (2002)

Real - time computer systems /
von: Freedman, A. L., et al.
Veröffentlicht: (1977)

Coherence in computer graphics /
von: Gröller, Eduard
Veröffentlicht: (1993)

Real and complex analysis /
von: Rudin, Walter 1921-
Veröffentlicht: (1970)

Verification and validation in scientific computing /
von: Oberkampf, William L. 1944-, et al.
Veröffentlicht: (2010)

ACM transactions on algorithms
Veröffentlicht: (2005)

Computer aided verification : Proceedings, New Brunswick, USA, July 31 - Aug. 3, 1996 /
von: Boigelot, Bernard
Veröffentlicht: (1996)

Idempotentnyj analiz i jego primenenije v optimaľnom upravlenii /
von: Maslov, Viktor Pavlovič
Veröffentlicht: (1994)

35. konferencia slovenských matematikov : Jasná pod Chopkom, 27.- 30. 11. 2003 /
von: Bezák, Viktor
Veröffentlicht: (2003)

REAL TIME SOFTWARE /
von: Glass, Robert L.
Veröffentlicht: (1983)

STRATEGIES FOR REAL TIME SYSTEM SPECIFICATION /
von: Hatley, Derek J.
Veröffentlicht: (1987)

A calculus of real time systems /
von: Wang, Yi
Veröffentlicht: (1991)

Real-time multicomputer software systems /
von: Stein, Richard Marlon
Veröffentlicht: (1992)

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

Modules. Discretes. Driver electronics. Power electronics systems - SEMISTACK. 2005/2006.
Veröffentlicht: (2006)

Geodesy. The concepts /
von: Vaníček, Petr
Veröffentlicht: (1986)

Štatistika pre 3. ročník obchodných akadémií /
von: Zelenák, Jozef
Veröffentlicht: (1995)

Efektivnost leasingového financování /
von: Termer, Tomáš
Veröffentlicht: (1992)

Zeitnormative : ihre Ausarbeitung und Anwendung /
von: Franke, Erich, et al.
Veröffentlicht: (1965)