| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Damm, Werner | - |
| dc.contributor.author | Dierks, Henning | - |
| dc.contributor.author | Oehlerking, Jens | - |
| dc.contributor.author | Pnueli, Amir | - |
| dc.date.accessioned | 2020-08-26T12:09:09Z | - |
| dc.date.available | 2020-08-26T12:09:09Z | - |
| dc.date.issued | 2010 | - |
| dc.identifier.isbn | 978-3-642-13754-9 | en_US |
| dc.identifier.isbn | 978-3-642-13753-2 | en_US |
| dc.identifier.isbn | 3-642-13753-9 | en_US |
| dc.identifier.issn | 0302-9743 | en_US |
| dc.identifier.uri | http://hdl.handle.net/20.500.12738/2791 | - |
| dc.language.iso | en | en_US |
| dc.publisher | Springer | en_US |
| dc.relation.ispartof | Lecture notes in computer science | en_US |
| dc.relation.ispartofseries | Lecture notes in computer science | |
| dc.subject | Hybrid System | en_US |
| dc.subject | Lyapunov Function | en_US |
| dc.subject | Basic Component | en_US |
| dc.subject | Parallel Composition | en_US |
| dc.subject | Transition Composition | en_US |
| dc.subject.ddc | 600: Technik | en_US |
| dc.title | Towards Component Based Design of Hybrid Systems: Safety and Stability | en |
| dc.type | inBook | en_US |
| local.contributorPerson.editor | Manna, Zohar | - |
| local.contributorPerson.editor | Peled, Doron A. | - |
| tuhh.container.endpage | 143 | en_US |
| tuhh.container.startpage | 96 | en_US |
| tuhh.container.volume | 6200 | en_US |
| tuhh.oai.show | true | en_US |
| tuhh.publication.institute | Department Informations- und Elektrotechnik | en_US |
| tuhh.publication.institute | Fakultät Technik und Informatik | en_US |
| tuhh.publisher.doi | 10.1007/978-3-642-13754-9_6 | - |
| tuhh.type.opus | InBuch (Kapitel / Teil einer Monographie) | - |
| dc.type.casrai | Book Chapter | - |
| dc.type.dini | bookPart | - |
| dc.type.driver | bookPart | - |
| dc.type.status | info:eu-repo/semantics/publishedVersion | en_US |
| dcterms.DCMIType | Text | - |
| tuhh.book.title | Time for verification : essays in memory of Amir Pnueli | en_US |
| item.creatorGND | Damm, Werner | - |
| item.creatorGND | Dierks, Henning | - |
| item.creatorGND | Oehlerking, Jens | - |
| item.creatorGND | Pnueli, Amir | - |
| item.fulltext | No Fulltext | - |
| item.creatorOrcid | Damm, Werner | - |
| item.creatorOrcid | Dierks, Henning | - |
| item.creatorOrcid | Oehlerking, Jens | - |
| item.creatorOrcid | Pnueli, Amir | - |
| item.grantfulltext | none | - |
| item.cerifentitytype | Publications | - |
| item.languageiso639-1 | en | - |
| item.openairecristype | http://purl.org/coar/resource_type/c_3248 | - |
| item.openairetype | inBook | - |
| crisitem.author.dept | Department Informations- und Elektrotechnik | - |
| crisitem.author.parentorg | Fakultät Technik und Informatik | - |
| Appears in Collections: | Publications without full text | |
Add Files to Item
Note about this record
Export
Items in REPOSIT are protected by copyright, with all rights reserved, unless otherwise indicated.