QR kód

Software safety verification in critical software intensive systems /

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Rodríguez Dapena, Patricia
Médium:	Diplomová práce Kniha
Jazyk:	angličtina
Vydáno:	Eindhoven : Technická univerzita, 2002
Vydání:	[1st ed.]
Témata:	stromová analýza > modelovanie procesu
ISBN:	9038609530
On-line přístup:
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

SOFTWARE ENGINEERING. ANALYSIS AND VERIFICATION /
Autor: Lewis, Theodore Gyle
Vydáno: (1982)

Complex, Intelligent, and Software Intensive Systems Proceedings of the 11th International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS-2017) /
Vydáno: (2018)

Environmentálne aspekty zhodnocovania odpadov v celulózovo-papierenskom priemysle /
Autor: Demko, Jaroslav
Vydáno: (2002)

Ďalšie vzdelávanie učiteľov základných škôl a stredných škôl v predmete informatika : algoritmy a údajové štruktúry 2 /
Autor: Winczer, Michal, a další
Vydáno: (2010)

VERIFICATION AND VALIDATION OF REAL-TIME SOFTWARE /
Autor: Bologna, S.
Vydáno: (1985)

SSPTV - a software system for programs testing and verification /
Autor: Bologna, S., a další
Vydáno: (1978)

Foundations of XML processing : the tree-automata approach /
Autor: Hosoya, Haruo, 1972-
Vydáno: (2011)

Problémes d ́asservissements avec solutions /
Autor: Decaulne, P.
Vydáno: (1967)

Programovací techniky /
Autor: Rychlík, Jan
Vydáno: (1992)

Process Displays and Process Control Devices.
Vydáno: (2010)

Beitrag zur prozessintegrierten Qualitätsprüfung und zur Prozessregelung beim Honen /
Autor: Maskus, Horst Peter
Vydáno: (1992)

Priame adaptívne riadenie spojitých procesov /
Autor: Murgaš, Ján, a další
Vydáno: (2013)

GUIDELINE FOR LIFECYCLE VALIDATION, VERIFICATION, AND TESTING OF COMPUTER SOFTWARE.
Vydáno: (1984)

Metodika obnovy strojov /
Autor: Valenčík, Štefan 1953-
Vydáno: (2011)

Štatistické riadenie kvality /
Autor: Terek, Milan 1953-
Vydáno: (2004)

Software modeling and design : UML, use cases, patterns, and software architectures /
Autor: Gomaa, Hassan
Vydáno: (2011)

The structural representation of proximity matrices with MATLAB /
Autor: Hubert, Lawrence 1944-, a další
Vydáno: (2006)

Verfahren zur Kostenoptimierung von Topologien eingebetteter Kommunikationsnetze /
Autor: Sommer, Jörg
Vydáno: (2011)

Expertní systémy. Praktická cvičení /
Autor: Provazník, Ivo
Vydáno: (2000)

Acta Facultatis forestalis Zvolen, Slovakia.
Autor: Pirchala, Martin
Vydáno: (2006)

Software testing fundamentals : introduction to software verification theory /
Autor: Samuelis, Ladislav
Vydáno: (2013)

TAPSOFT '93. Theory and practice of software development : Proceedings, Orsay, France, April 13 - 17, 1993 /
Autor: Guttag, John V.
Vydáno: (1993)

The environment as a resource. Developing environmental information systems based on enterprise resource planning software /
Autor: Jansen, Monique Henriette
Vydáno: (1998)

Smery rozvoja manažmentu univerzít v transformujúcich sa krajinách. Vplyv legislatívnych zmien v daňovej sústave, v účtovníctve, znalectve, konkurze a vyrovnaní, .. : Zborník ref. a odb. seminárov z medzinár. konf. v rámci 3. roč. Týždňa otvorených dverí 2001, 4. - 8. 6. 2001 /
Autor: Porvazník, Ján
Vydáno: (2001)

Primenenije matematičeskich metodov i EVM dlja analiza i upravlenija domennym processom /
Autor: Tovarovskij, Iosif Grigorjevič, a další
Vydáno: (1978)

Business reengineering in information intensive organizations /
Autor: Dur, Remko Cornelis Johannes
Vydáno: (1992)

Software error compensation of machine tools /
Autor: Spaan, Henrikus Adrianus Maria
Vydáno: (1995)

Design and Safety Assessment of Critical Systems
Vydáno: (2010)

Data management for occupational health and safety. A user's guide to integrating software /
Autor: Wrench, Constance P.
Vydáno: (1990)

Numerical methods and software tools in industrial mathematics /
Autor: Daehlen, Morten
Vydáno: (1997)

Software-Qualität. Konzepte und Pläne /
Autor: Dunn, Robert H., a další
Vydáno: (1993)

SolidWorks Enterprise PDM.
Vydáno: (2010)

Software.
Vydáno: (2010)

Computer systems and software engineering : 6th annual European computer conference, The Hague, Netherlands, May 4 - 8, 1992 /
Autor: Dvorak, Vaclav
Vydáno: (1992)

The Viennese integrated system for technology CAD applications. Architecture and critical software components /
Autor: Halama, Stefan
Vydáno: (1994)

Podnikateľské rozhodovanie /
Autor: Szabo, Ľuboslav 1947-
Vydáno: (1999)

Intelligent software for chemical analysis /
Autor: Buydens, Ludgarde M. C.
Vydáno: (1993)

The patentability of software : software as mathematics /
Autor: Hughes, Anton, (Lawyer)
Vydáno: (2019)

Riadenie procesov /
Autor: Bakošová, Monika 1958-, a další
Vydáno: (2012)

Emerging technologies for the evolution and maintenance of software models /
Autor: Rech, Jörg, a další
Vydáno: (2012)