QR kód

Specification and compositional verification of real-time systems /

Uložené v:

Podrobná bibliografia
Hlavný autor:	Hooman, Jozef Johannes Maria
Médium:	Diplomová práca Kniha
Jazyk:	English
Vydavateľské údaje:	Eindhoven : Technická univerzita, 1991
Vydanie:	1st ed.
Predmet:	multiprogramovanie > logika > programovací jazyk > skúšobný systém
On-line prístup:
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Podobné jednotky

Formal techniques for verification of complex real-time systems /
Autor: Geilen, Marc Constantijn Willem
Vydavateľské údaje: (2002)

Real-time systems : formal specification and automatic verification /
Autor: Olderog, Ernst-Rüdiger, a ďalší
Vydavateľské údaje: (2008)

STRATEGIES FOR REAL TIME SYSTEM SPECIFICATION /
Autor: Hatley, Derek J.
Vydavateľské údaje: (1987)

VERIFICATION AND VALIDATION OF REAL-TIME SOFTWARE /
Autor: Bologna, S.
Vydavateľské údaje: (1985)

Compiler Specification and Verification /
Autor: Polak, Wolfgang
Vydavateľské údaje: (1981)

Radiotester : type TR-0608
Vydavateľské údaje: (1970)

Električeskije izmerenija na kinoustanovkach /
Autor: Darij, Jevgenij Iľjič
Vydavateľské údaje: (1986)

The evolution of type theory in logic and mathematics /
Autor: Laan, Twan Dismas Laurens
Vydavateľské údaje: (1997)

Rukověť zkušebního technika /
Autor: Kostka, Jaroslav
Vydavateľské údaje: (1973)

Concurrent and real-time systems. The CSP approach /
Autor: Schneider, Steve
Vydavateľské údaje: (2000)

Systém certifikácie odborníkov na projektové riadenie. 4. verzia.
Vydavateľské údaje: (2004)

Real-time embedded systems : optimization, synthesis, and networking /
Autor: Qiu, Meikang, a ďalší
Vydavateľské údaje: (2011)

Zkušební testy z vyhlášky ČÚBP a ČBÚ č. 324/1990 Sb., o bezpečnosti práce a technických zařízení při stavebních pracích. Verze 4.
Vydavateľské údaje: (1991)

Zkušební testy z vyhlášky ČÚBP a ČBÚ č. 324/1990 Sb., o bezpečnosti práce a technických zařízení při stavebních pracích. Verze 3.
Vydavateľské údaje: (1991)

Test and measurement - product catalog 05.
Vydavateľské údaje: (2005)

Real-time control of electric power systems /
Vydavateľské údaje: (1972)

A constructive method for the architectural design and correctness verification of real-time programs /
Autor: Saukkonen, Samuli
Vydavateľské údaje: (1983)

Artificial intelligence in real time control. 1994 : IFAC symposium, Valencia, Spain, 3 - 5 Oct. 1994 /
Autor: Crespo, Alfons
Vydavateľské údaje: (1995)

Real - time computer systems /
Autor: Freedman, A. L., a ďalší
Vydavateľské údaje: (1977)

Didaktické texty pro 7 /
Autor: Hudec, Jaroslav
Vydavateľské údaje: (1989)

Zborník smerníc Slovenskej komory exekútorov.
Vydavateľské údaje: (2006)

Systematické měření a zkoušení.
Vydavateľské údaje: (2006)

Easytest 20 kV. Fault Sniffer. CI. Ferrolux FLM 700. Easyloc.
Vydavateľské údaje: (2010)

Microsoft Basic pre samoukov. QBasic. Quick Basic, verzia 4.5. Professional Development System, verzia 7.1 /
Autor: Antoni, Jozef
Vydavateľské údaje: (1994)

Discrete-time process algebra /
Autor: Vereijken, Jan Joris
Vydavateľské údaje: (1997)

Expertní systémy /
Autor: Provazník, Ivo
Vydavateľské údaje: (1999)

REAL TIME SOFTWARE /
Autor: Glass, Robert L.
Vydavateľské údaje: (1983)

Programování v Turbo Pascalu 6.0 /
Autor: Kvoch, Martin
Vydavateľské údaje: (1992)

ACM transactions on design automation of electronic systems
Vydavateľské údaje: (1996)

A calculus of real time systems /
Autor: Wang, Yi
Vydavateľské údaje: (1991)

Real-time multicomputer software systems /
Autor: Stein, Richard Marlon
Vydavateľské údaje: (1992)

FORTRAN-Programmierung und numerische Methoden für Naturwissenschaft und Technik /
Autor: Ranft, Johannes
Vydavateľské údaje: (1972)

Reactor training simulator with automatic amplitude rescaling /
Autor: Rasmussen, Jens
Vydavateľské údaje: (1961)

Real-Time Modelling and Processing for Communication Systems Applications and Practices /
Vydavateľské údaje: (2018)

Higher order logic theorem proving and its applications : Proceedings of the IFIP TC10/WG10.2 internat. workshop, Leuven, Belgium, 21 - 24 Sept., 1992 /
Autor: Melham, Thomas F.
Vydavateľské údaje: (1993)

X/OPEN. Portability guide. Vol. 3. System V specification. Supplementary definitions.
Vydavateľské údaje: (1987)

Real-time computer control. An introduction /
Autor: Bennett, Stuart
Vydavateľské údaje: (1994)

Connecting informal and formal mathematics /
Autor: Elbers, Hugo Johannes
Vydavateľské údaje: (1998)

Ďalšie vzdelávanie učiteľov základných škôl a stredných škôl v predmete informatika : programovanie 5 (Java) /
Autor: Palmárová, Viera, a ďalší
Vydavateľské údaje: (2010)

Operační systém Unix a jazyk C /
Autor: Brodský, Jan
Vydavateľské údaje: (1989)