Normal view MARC view ISBD view

An Online model-checking framework for timed automata : applying formal verification to medical cyber-physical systems : dissertation / Jonas Rinast ; [cond. şt.] Prof. Dr. Sybille Schupp, Prof. Dr. Dieter Gollmann

Material type: materialTypeLabel

BookPublisher: Hamburg, 2015Description: viii, 136 p. ; 30 cm.Subject(s): analiză funcțională și teoria operatorilor

Genre/Form: teză de doctoratDissertation note: Dissertation. Technische Universität Hamburg-Harburg, 2015.

List(s) this item appears in: Titluri cărți intrate în bibliotecă în perioada ianuarie-aprilie 2017 | Titluri teze de doctorat și rezumate intrate în biblioteca în anul 2017 | Titluri cărți matematică: 2018 | Titluri cărți matematică: 2017 | Titluri cărți matematică intrate în 2016-2018 | Titluri cărți străine intrate în bibliotecă în anul 2017 | Titluri carți matematică (DC nave) intrate în 2016-2021 | Titluri cărți cibernetică și informatică economică (DC) intrate în 2016-2021 | Titluri cărți matematică intrate în 2010-2021 | Titluri cărți matematică intrate în 2016-2022 | Titluri cărți biblioteca proprie (FEAA) | Titluri cărți matematică în limba engleză publicate în 2013-2023 | Titluri cărți matematică în limba engleză | Titluri cărți biblioteca proprie (2023) | Titluri cărți matematică intrate în 2016-2024 | Teze de doctorat intrate în bibliotecă în 2016-2024 | Titluri cărți cibernetică, statistică, informatică economică intrate în 2016-2024(1)

Tags from this library: No tags from this library for this title. Log in to add tags.

average rating: 0.0 (0 votes)

Current location	Collection	Shelving location	Call number	Status	Date due	Barcode
Biblioteca Facultății de Arte Biblioteca Facultăţii de Arte: dispune de colecţii de cărţi, periodice şi lucrări în format electronic pe suport fizic CD sau DVD din domeniul arte pe care, utilizatorii le pot consulta în regim de sală de lectură. Din primavara anului 2023 este desființată, iar fondul revine la Sediul central - sala de lectură de științe economice si umaniste.	Teze de doctorat	SC-Sala de lectură I	519.7/R55 (Browse shelf)	Not For Loan		C-277085

Previous								Next
Previous	517/C82 Puncte critice și metode variaționale. Aplicații :	519.17/E29 Existence and enumeration of spanning structures in sparse graphs and hypergraphs :	519.6/A63 Contribuții privind planificarea și ordonanțarea activităților în sistemele discrete :	519.7/R55 An Online model-checking framework for timed automata :	519.86/W47 The Resource transfer problem :	51/M90a Opérateur de Dirac et submersion riemanniennes :	51/M90s Residue functionals on the algebra of adiabatic pseudo-differential operators :	Next

Dissertation. Technische Universität Hamburg-Harburg, 2015.

Bibliogr.

There are no comments for this item.

Biblioteca Universității "Dunărea de Jos"