| dc.contributor.author | Berkenkotter, K. | |
| dc.contributor.author | Kirner, Raimund | |
| dc.contributor.editor | Broy, M. | |
| dc.contributor.editor | Jonsson, B. | |
| dc.contributor.editor | Katoen, J.P. | |
| dc.contributor.editor | Leucker, M. | |
| dc.contributor.editor | Pretschner, A. | |
| dc.date.accessioned | 2015-01-14T10:17:39Z | |
| dc.date.available | 2015-01-14T10:17:39Z | |
| dc.date.issued | 2005 | |
| dc.identifier.citation | Berkenkotter , K & Kirner , R 2005 , Real-time and hybrid systems testing . in M Broy , B Jonsson , J P Katoen , M Leucker & A Pretschner (eds) , Model-Based Testing of Reactive Systems : Advanced Lectures . Lecture Notes in Computer Science , vol. 3472 , Springer Nature , BERLIN , pp. 355-387 . https://doi.org/10.1007/11498490_16 | |
| dc.identifier.isbn | 3-540-26278-4 | |
| dc.identifier.isbn | 978-3-540-26278-7 | |
| dc.identifier.isbn | 978-3-540-32037-1 | |
| dc.identifier.other | PURE: 648075 | |
| dc.identifier.other | PURE UUID: cd5a6604-c864-4773-97a5-01ef0715469e | |
| dc.identifier.other | WOS: 000230885100013 | |
| dc.identifier.other | Scopus: 36949039637 | |
| dc.identifier.uri | http://hdl.handle.net/2299/15200 | |
| dc.format.extent | 33 | |
| dc.language.iso | eng | |
| dc.publisher | Springer Nature | |
| dc.relation.ispartof | Model-Based Testing of Reactive Systems | |
| dc.relation.ispartofseries | Lecture Notes in Computer Science | |
| dc.title | Real-time and hybrid systems testing | en |
| dc.contributor.institution | Centre for Computer Science and Informatics Research | |
| dc.contributor.institution | Department of Computer Science | |
| dc.contributor.institution | School of Physics, Engineering & Computer Science | |
| dc.contributor.institution | Centre for Future Societies Research | |
| rioxxterms.versionofrecord | https://doi.org/10.1007/11498490_16 | |
| rioxxterms.type | Other | |
| herts.preservation.rarelyaccessed | true | |
