Details
| Original language | English |
|---|---|
| Title of host publication | System Specification and Design Languages |
| Subtitle of host publication | Selected Contributions from FDL 2010 |
| Editors | Tom J. Kaźmierski, Adam Morawiec |
| Pages | 105–121 |
| ISBN (electronic) | 978-1-4614-1427-8 |
| Publication status | Published - 2012 |
| Event | 13th Forum on Specification and Design Languages - Duration: 14 Sept 2010 → 16 Sept 2010 |
Publication series
| Name | Lecture Notes in Electrical Engineering |
|---|---|
| Volume | 106 |
| ISSN (Print) | 1876-1100 |
| ISSN (electronic) | 1876-1119 |
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
System Specification and Design Languages: Selected Contributions from FDL 2010. ed. / Tom J. Kaźmierski; Adam Morawiec. 2012. p. 105–121 (Lecture Notes in Electrical Engineering; Vol. 106).
Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
}
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 -