| dc.contributor.author | Niqui, Milad | |
| dc.contributor.author | Tveretina, Olga | |
| dc.contributor.editor | Egerstedt, Magnus | |
| dc.contributor.editor | Mishra, Bud | |
| dc.date.accessioned | 2015-03-23T16:18:39Z | |
| dc.date.available | 2015-03-23T16:18:39Z | |
| dc.date.issued | 2008 | |
| dc.identifier.citation | Niqui , M & Tveretina , O 2008 , Modular Development of Hybrid Systems for Verification in Coq . in M Egerstedt & B Mishra (eds) , Hybrid Systems : Computation and Control . Springer Nature , pp. 638-641 , 11th Int Workshop, HSCC 2008 , St Louis , United States , 22/04/08 . https://doi.org/10.1007/978-3-540-78929-1_53 | |
| dc.identifier.citation | conference | |
| dc.identifier.isbn | 978-3-540-78928-4 | |
| dc.identifier.isbn | 978-3-540-78929-1 | |
| dc.identifier.other | PURE: 1302965 | |
| dc.identifier.other | PURE UUID: df79d260-0921-4282-8953-54955ecb4f05 | |
| dc.identifier.other | Scopus: 70350010466 | |
| dc.identifier.uri | http://hdl.handle.net/2299/15701 | |
| dc.description.abstract | In this paper we present a formalization of the theory of hybrid automata and algorithms for building trajectory trees using module types and functors in the Coq proof assistant | en |
| dc.language.iso | eng | |
| dc.publisher | Springer Nature | |
| dc.relation.ispartof | Hybrid Systems | |
| dc.title | Modular Development of Hybrid Systems for Verification in Coq | en |
| dc.contributor.institution | School of Physics, Engineering & Computer Science | |
| rioxxterms.versionofrecord | https://doi.org/10.1007/978-3-540-78929-1_53 | |
| rioxxterms.type | Other | |
| herts.preservation.rarelyaccessed | true | |
