Gast ::
000767299 001__ 767299 000767299 005__ 20251021090138.0 000767299 0247_ $$2ISBN$$a978-82-7368-435-6 000767299 0247_ $$2ISSN$$a0806-3036 000767299 037__ $$aRWTH-2019-08722 000767299 041__ $$aEnglish 000767299 1001_ $$0P:(DE-82)IDM02007$$aSchupp, Stefan$$b0$$eCorresponding author$$urwth 000767299 1112_ $$aPhD Symposium at iFM’18 on Formal Methods$$cMaynooth$$d2018-09-04 - 2018-09-04$$gPhD-iFM’18$$wIreland 000767299 245__ $$aThe HyDRA Tool : A Playground for the Development of Hybrid Systems Reachability Analysis Methods$$honline 000767299 260__ $$aOslo$$bOslo University$$c2018 000767299 29510 $$aProceedings of the PhD Symposium at iFM’18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’18) : Research report 483, August 2018 / Erika Ábrahám and Silvia Lizeth Tapia Tarifa (eds.) 000767299 300__ $$a2 Seiten 000767299 3367_ $$033$$2EndNote$$aConference Paper 000767299 3367_ $$0PUB:(DE-HGF)7$$2PUB:(DE-HGF)$$aContribution to a book 000767299 3367_ $$0PUB:(DE-HGF)8$$2PUB:(DE-HGF)$$aContribution to a conference proceedings$$bcontrib$$mcontrib 000767299 3367_ $$2BibTeX$$aINPROCEEDINGS 000767299 3367_ $$2DRIVER$$aconferenceObject 000767299 3367_ $$2DataCite$$aOutput Types/Conference Paper 000767299 3367_ $$2ORCID$$aCONFERENCE_PAPER 000767299 4900_ $$aResearch report$$v483 000767299 591__ $$aGermany 000767299 7001_ $$0P:(DE-82)IDM00047$$aÁbrahám, Erika$$b1$$urwth 000767299 7870_ $$0RWTH-CONV-236485$$iHasPart 000767299 8564_ $$uhttps://www.duo.uio.no/handle/10852/63284$$yFulltext 000767299 909CO $$ooai:publications.rwth-aachen.de:767299$$pVDB 000767299 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM02007$$aRWTH Aachen$$b0$$kRWTH 000767299 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM00047$$aRWTH Aachen$$b1$$kRWTH 000767299 9151_ $$0StatID:(DE-HGF)0031$$2StatID$$aPeer reviewed article$$x0 000767299 9201_ $$0I:(DE-82)123420_20140620$$k123420$$lLehr- und Forschungsgebiet Theorie Hybrider Systeme$$x0 000767299 9201_ $$0I:(DE-82)121310_20140620$$k121310$$lLehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation)$$x1 000767299 9201_ $$0I:(DE-82)120000_20140620$$k120000$$lFachgruppe Informatik$$x2 000767299 9201_ $$0I:(DE-82)080060_20170720$$k080060$$lGraduiertenkolleg UnRAVeL$$x3 000767299 961__ $$c2019-09-24T13:14:13.264172$$x2019-09-24T13:14:13.264172$$z2019-09-24 000767299 980__ $$aI:(DE-82)080060_20170720 000767299 980__ $$aI:(DE-82)120000_20140620 000767299 980__ $$aI:(DE-82)121310_20140620 000767299 980__ $$aI:(DE-82)123420_20140620 000767299 980__ $$aUNRESTRICTED 000767299 980__ $$aVDB 000767299 980__ $$acontb 000767299 980__ $$acontrib