Range Arithmetics to Speed up Reachability Analysis of Analog Systems.

Publikation: Konferenzbeitrag › Paper › Forschung › Peer-Review

Autoren

  • Darius Grabowski
  • Markus Olbrich
  • Christoph Grimm
  • Erich Barke

Organisationseinheiten

Forschungs-netzwerk anzeigen

Details

Originalspracheundefiniert/unbekannt
Seiten38-43
PublikationsstatusVeröffentlicht - 2007

Zitieren

Range Arithmetics to Speed up Reachability Analysis of Analog Systems. / Grabowski, Darius; Olbrich, Markus; Grimm, Christoph et al.
2007. 38-43.

Publikation: Konferenzbeitrag › Paper › Forschung › Peer-Review

Grabowski, D, Olbrich, M, Grimm, C & Barke, E 2007, 'Range Arithmetics to Speed up Reachability Analysis of Analog Systems.', S. 38-43.
Grabowski, D., Olbrich, M., Grimm, C., & Barke, E. (2007). Range Arithmetics to Speed up Reachability Analysis of Analog Systems.. 38-43.
Grabowski D, Olbrich M, Grimm C, Barke E. Range Arithmetics to Speed up Reachability Analysis of Analog Systems.. 2007.
Grabowski, Darius ; Olbrich, Markus ; Grimm, Christoph et al. / Range Arithmetics to Speed up Reachability Analysis of Analog Systems.
Download
@conference{5c71bd30f9dc4fc7919c8978194dea72,
title = "Range Arithmetics to Speed up Reachability Analysis of Analog Systems.",
author = "Darius Grabowski and Markus Olbrich and Christoph Grimm and Erich Barke",
note = "DBLP's bibliographic metadata records provided through http://dblp.org/search/publ/api are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.",
year = "2007",
language = "Undefined/Unknown",
pages = "38--43",

}

Download

TY - CONF

T1 - Range Arithmetics to Speed up Reachability Analysis of Analog Systems.

AU - Grabowski, Darius

AU - Olbrich, Markus

AU - Grimm, Christoph

AU - Barke, Erich

N1 - DBLP's bibliographic metadata records provided through http://dblp.org/search/publ/api are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

PY - 2007

Y1 - 2007

UR - https://dblp.org/rec/conf/fdl/GrabowskiOGB07

M3 - Paper

SP - 38

EP - 43

ER -