QR Code

Formal specification and analysis of industrial systems /

Saved in:

Bibliographic Details
Main Author:	Bos, Victor
Other Authors:	Kleijn, Jeroen Johannes Theodorus
Format:	Thesis Book
Language:	English
Published:	Eindhoven : Technická univerzita, 2002
Edition:	[1st ed.]
Series:	Dissertetion series No. 02
Subjects:	systémové inžinierstvo > algebra > jazyk modelovania
ISBN:	9038627432
Online Access:
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Simulation in the design of digital electronic systems /
by: Gosling, John B.
Published: (1993)

Úvod do teorie modelování palivoenergetického komplexu /
by: Ehrenberger, Vlastimil
Published: (1982)

Systems engineering tools /
by: Chestnut, Harold
Published: (1965)

System engineering handbook /
Published: (1965)

NEA sorption project : phase II : interpretation and prediction of radionuclide sorption onto substrates relevant for radioactive waste disposal using thermodynamic sorption models /
Published: (2005)

Řešení hornických situací metodami modelování : Praktické aplikace a příklady /
by: Ehrenberger, Vlastimil
Published: (1984)

Semantic integration of heterogeneous formal specifications via transformation systems /
by: Grosse-Rhode, Martin
Published: (2001)

Software process technology : EWSPT '95, Noordwijkerhout, The Netherlands, April 3 - 5, 1995 /
by: Obbink, J. Henk
Published: (1995)

Základy modelovania podnikových procesov /
by: Révészová, Libuša, et al.
Published: (2009)

System requirements analysis /
by: Grady, Jeffrey O.
Published: (2006)

Systémové inženýrství /
by: Jurča, Ladislav
Published: (1986)

Praktikum k systémovému inženýrství /
by: Jurča, Ladislav
Published: (1986)

Systémové inženýrství a operační analýza /
by: Jurča, Ladislav
Published: (1981)

Úvod do systémového inženýrství /
by: Dráb, Zdeněk
Published: (1973)

Systems Engineering Principles and Practice
Published: (2011)

Programming languages and systems : Proceedings, Warsaw, Poland, April 7 - 11, 2003 /
by: Leroy, Xavier
Published: (2003)

3D Studio. Max R1.x, 2.0, 2.5. VIZ R1 a R2 /
by: Miler, Roman
Published: (1998)

Tematické úlohy na rok 1989.
Published: (1989)

Systémové inžinierstvo v stavebníctve /
by: Gusakov, Alexander Antonovič
Published: (1985)

Základy systémového inženýrství /
by: Hladiš, Karel
Published: (1986)

Systémové inženýrství a rozhodování /
by: Dudorkin, Jiří
Published: (2003)

Architecture and principles of systems engineering /
by: Dickerson, C. E. 1949-, et al.
Published: (2009)

Research and technology development in advanced communications technologies in Europe. RACE 1994 /
Published: (1994)

Systémové inženýrství a operační analýza : Sbírka příkladů. 1. díl /
by: Sixta, Josef
Published: (1986)

On formal semantics of object systems with data and object attributes /
by: Parnitzke, Daniel
Published: (2001)

Počítačové systémy 10. Hardware a telekomunikační systémy /
by: Slavík, Pavel
Published: (1999)

Systémové myšlení pro manažery /
by: Bureš, Vladimír 1977-
Published: (2011)

AI theory and applications in the VAX environment /
by: Stock, Michael
Published: (1988)

Sborník Vysoké školy chemicko-technologické v Praze. Sv. R 8. Automatizované systémy řízení a výpočetní metody /
by: Poživil, Jaroslav
Published: (1986)

Concevoir et développer avec ORACLE et CASE. Oracle versions 6 et 7 /
by: Smine, Hatem
Published: (1994)

Systémové pojetí vybraných oborů pro techniky : hledání souvislostí : učební texty.
by: Janíček, Přemysl 1935-
Published: (2007)

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

Numerical methods and software tools in industrial mathematics /
by: Daehlen, Morten
Published: (1997)

Systémové inžinierstvo /
by: Rajniak, Pavol
Published: (1991)

Structured analysis and system specification /
by: Demarco, Tom
Published: (1979)

Gibridnyje vyčisliteľnyje mašiny i kompleksy. Vyp. 14 : Respublikanskij mežvedomstvennyj sbornik naučnych trudov /
by: Baranov, V. L.
Published: (1992)

Modeling, analysis and simulation of wireless and mobile systems : MSWiM '14 ; proceeding of the 17th ACM international conference ; Montreal, QC, Canada, September 21 - 26, 2014 /
Published: (2014)

Formal specification of programming languages. A panoramic primer /
by: Pagan, Frank G.
Published: (1981)

Formal semantics of programming languages /
Published: (1972)

Metódy ekonomickej analýzy /
by: Teplická, Katarína
Published: (2004)