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: 
BookPublisher: Hamburg, 2015Description: viii, 136 p. ; 30 cm.Subject(s): analiză funcțională și teoria operatorilor | cărți străine | | | | | DE-Matematică | cibernetică matematică | teoria informației | teze de doctorat | cărți schimb externGenre/Form: teză de doctoratDissertation note: Dissertation. Technische Universität Hamburg-Harburg, 2015.
| 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ă. |
Teze de doctorat | SC-Sala de lectură I | 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.