Show simple item record

dc.contributor.authorNiqui, Milad
dc.contributor.authorTveretina, Olga
dc.contributor.editorEgerstedt, Magnus
dc.contributor.editorMishra, Bud
dc.date.accessioned2015-03-23T16:18:39Z
dc.date.available2015-03-23T16:18:39Z
dc.date.issued2008
dc.identifier.citationNiqui , 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 , 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.citationconference
dc.identifier.isbn978-3-540-78928-4
dc.identifier.isbn978-3-540-78929-1
dc.identifier.otherPURE: 1302965
dc.identifier.otherPURE UUID: df79d260-0921-4282-8953-54955ecb4f05
dc.identifier.otherScopus: 70350010466
dc.identifier.urihttp://hdl.handle.net/2299/15701
dc.description.abstractIn 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 assistanten
dc.language.isoeng
dc.publisherSpringer
dc.relation.ispartofHybrid Systems
dc.titleModular Development of Hybrid Systems for Verification in Coqen
dc.contributor.institutionSchool of Physics, Engineering & Computer Science
rioxxterms.versionofrecordhttps://doi.org/10.1007/978-3-540-78929-1_53
rioxxterms.typeOther
herts.preservation.rarelyaccessedtrue


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record