Welcome to the Library Catalog of "Dunarea de Jos" University of Galati

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

By: RINAST, Jonas.
Contributor(s): SCHUPP, Sybille [cond. șt.] | GOLLMANN, Dieter [cond. șt.].
Material type: materialTypeLabelBookPublisher: Hamburg, 2015Description: viii, 136 p. ; 30 cm.Subject(s): | | | | DE-Matematică | cibernetică matematică | teoria sistemelor de control | teoria informației | teze de doctorat | cărți schimb extern | cărți străineGenre/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
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 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ă.

SC-Sala de lectură I
Teze de doctorat 519.7/R55 (Browse shelf) Not For Loan C-277085

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

Bibliogr.

There are no comments for this item.

Log in to your account to post a comment.
Biblioteca Universității "Dunărea de Jos" din Galați

Powered by Koha