Towards Abstract Analysis Techniques for Range Based System Simulations

Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

Autoren

  • Florian Schupfer
  • Christoph Grimm
  • Markus Olbrich
  • Michael Kärgel
  • Erich Barke

Organisationseinheiten

Externe Organisationen

  • Technische Universität Wien (TUW)
Forschungs-netzwerk anzeigen

Details

OriginalspracheEnglisch
Titel des SammelwerksSystem Specification and Design Languages
UntertitelSelected Contributions from FDL 2010
Herausgeber/-innenTom J. Kaźmierski, Adam Morawiec
Seiten105–121
ISBN (elektronisch)978-1-4614-1427-8
PublikationsstatusVeröffentlicht - 2012
Veranstaltung13th Forum on Specification and Design Languages -
Dauer: 14 Sept. 2010 → 16 Sept. 2010

Publikationsreihe

NameLecture Notes in Electrical Engineering
Band106
ISSN (Print)1876-1100
ISSN (elektronisch)1876-1119

Zitieren

Towards Abstract Analysis Techniques for Range Based System Simulations. / Schupfer, Florian; Grimm, Christoph; Olbrich, Markus et al.
System Specification and Design Languages: Selected Contributions from FDL 2010. Hrsg. / Tom J. Kaźmierski; Adam Morawiec. 2012. S. 105–121 (Lecture Notes in Electrical Engineering; Band 106).

Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

Schupfer, F, Grimm, C, Olbrich, M, Kärgel, M & Barke, E 2012, Towards Abstract Analysis Techniques for Range Based System Simulations. in TJ Kaźmierski & A Morawiec (Hrsg.), System Specification and Design Languages: Selected Contributions from FDL 2010. Lecture Notes in Electrical Engineering, Bd. 106, S. 105–121, 13th Forum on Specification and Design Languages, 14 Sept. 2010. https://doi.org/10.1007/978-1-4614-1427-8
Schupfer, F., Grimm, C., Olbrich, M., Kärgel, M., & Barke, E. (2012). Towards Abstract Analysis Techniques for Range Based System Simulations. In T. J. Kaźmierski, & A. Morawiec (Hrsg.), System Specification and Design Languages: Selected Contributions from FDL 2010 (S. 105–121). (Lecture Notes in Electrical Engineering; Band 106). https://doi.org/10.1007/978-1-4614-1427-8
Schupfer F, Grimm C, Olbrich M, Kärgel M, Barke E. Towards Abstract Analysis Techniques for Range Based System Simulations. in Kaźmierski TJ, Morawiec A, Hrsg., System Specification and Design Languages: Selected Contributions from FDL 2010. 2012. S. 105–121. (Lecture Notes in Electrical Engineering). doi: 10.1007/978-1-4614-1427-8
Schupfer, Florian ; Grimm, Christoph ; Olbrich, Markus et al. / Towards Abstract Analysis Techniques for Range Based System Simulations. System Specification and Design Languages: Selected Contributions from FDL 2010. Hrsg. / Tom J. Kaźmierski ; Adam Morawiec. 2012. S. 105–121 (Lecture Notes in Electrical Engineering).
Download
@inproceedings{6da5ba3554a54e82bbdfdc4ad123f092,
title = "Towards Abstract Analysis Techniques for Range Based System Simulations",
author = "Florian Schupfer and Christoph Grimm and Markus Olbrich and Michael K{\"a}rgel and Erich Barke",
note = "This work has been supported by the Austrian WWTF project MARC under contract no. ICT08_012 and the German BMBF under project no. 01 M 3087.; 13th Forum on Specification and Design Languages, FDL 2010 ; Conference date: 14-09-2010 Through 16-09-2010",
year = "2012",
doi = "10.1007/978-1-4614-1427-8",
language = "English",
isbn = "978-1-4614-1426-1",
series = "Lecture Notes in Electrical Engineering",
pages = "105–121",
editor = "Ka{\'z}mierski, {Tom J. } and Adam Morawiec",
booktitle = "System Specification and Design Languages",

}

Download

TY - GEN

T1 - Towards Abstract Analysis Techniques for Range Based System Simulations

AU - Schupfer, Florian

AU - Grimm, Christoph

AU - Olbrich, Markus

AU - Kärgel, Michael

AU - Barke, Erich

N1 - This work has been supported by the Austrian WWTF project MARC under contract no. ICT08_012 and the German BMBF under project no. 01 M 3087.

PY - 2012

Y1 - 2012

UR - https://www.scopus.com/record/display.uri?eid=2-s2.0-84855416549&origin=inward&txGid=ce9c3dd97c2bbf78476c558506a392bb

U2 - 10.1007/978-1-4614-1427-8

DO - 10.1007/978-1-4614-1427-8

M3 - Conference contribution

SN - 978-1-4614-1426-1

SN - 978-1-4899-9441-7

T3 - Lecture Notes in Electrical Engineering

SP - 105

EP - 121

BT - System Specification and Design Languages

A2 - Kaźmierski, Tom J.

A2 - Morawiec, Adam

T2 - 13th Forum on Specification and Design Languages

Y2 - 14 September 2010 through 16 September 2010

ER -