Standard
Diagrammatic specification of mobile real-time systems. /
Linker, Sven.
Diagrammatic Representation and Inference: 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010. Proceedings. ed. / Ashok K. Goel; Mateja Jamnik; N. Hari Narayanan. Berlin: Springer, 2010. p. 316-318 (Lecture Notes in Computer Science; Vol. 6170).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Harvard
Linker, S 2010,
Diagrammatic specification of mobile real-time systems. in AK Goel, M Jamnik & NH Narayanan (eds),
Diagrammatic Representation and Inference: 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010. Proceedings. Lecture Notes in Computer Science, vol. 6170, Springer, Berlin, pp. 316-318, International Conference on the Theory and Applications of Diagrams, Portland, Oregon, United States,
9/08/10.
https://doi.org/10.1007/978-3-642-14600-8_40
APA
Linker, S. (2010).
Diagrammatic specification of mobile real-time systems. In A. K. Goel, M. Jamnik, & N. H. Narayanan (Eds.),
Diagrammatic Representation and Inference: 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010. Proceedings (pp. 316-318). (Lecture Notes in Computer Science; Vol. 6170). Springer.
https://doi.org/10.1007/978-3-642-14600-8_40
Vancouver
Linker S.
Diagrammatic specification of mobile real-time systems. In Goel AK, Jamnik M, Narayanan NH, editors, Diagrammatic Representation and Inference: 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010. Proceedings. Berlin: Springer. 2010. p. 316-318. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-14600-8_40
Author
Linker, Sven. /
Diagrammatic specification of mobile real-time systems. Diagrammatic Representation and Inference: 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010. Proceedings. editor / Ashok K. Goel ; Mateja Jamnik ; N. Hari Narayanan. Berlin : Springer, 2010. pp. 316-318 (Lecture Notes in Computer Science).
Bibtex
@inproceedings{b8bebce1b648493990a6fbe1ae3443d2,
title = "Diagrammatic specification of mobile real-time systems",
abstract = "Behavior of spatio-temporal systems depends on real-time as well as spatial aspects. More and more safety-critical systems fall into this domain and thus raise the urge for formal specification and verification methods for this type of systems. For this purpose, we develop a diagrammatic language of Shape Diagrams that concentrates on the critical concepts and is usable by both engineers and scientists. We present two syntaxes, an abstract one based on hypergraphs and graph transformation systems that constitutes the abstract structure, and a concrete one given in terms of conventions for drawing diagrammatic pictures.",
author = "Sven Linker",
year = "2010",
doi = "10.1007/978-3-642-14600-8_40",
language = "English",
isbn = "9783642145995",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "316--318",
editor = "Goel, {Ashok K.} and Mateja Jamnik and Narayanan, {N. Hari}",
booktitle = "Diagrammatic Representation and Inference",
note = "International Conference on the Theory and Applications of Diagrams, DIAGRAMS ; Conference date: 09-08-2010 Through 11-08-2010",
}
RIS
TY - GEN
T1 - Diagrammatic specification of mobile real-time systems
AU - Linker, Sven
N1 - Conference code: 6
PY - 2010
Y1 - 2010
N2 - Behavior of spatio-temporal systems depends on real-time as well as spatial aspects. More and more safety-critical systems fall into this domain and thus raise the urge for formal specification and verification methods for this type of systems. For this purpose, we develop a diagrammatic language of Shape Diagrams that concentrates on the critical concepts and is usable by both engineers and scientists. We present two syntaxes, an abstract one based on hypergraphs and graph transformation systems that constitutes the abstract structure, and a concrete one given in terms of conventions for drawing diagrammatic pictures.
AB - Behavior of spatio-temporal systems depends on real-time as well as spatial aspects. More and more safety-critical systems fall into this domain and thus raise the urge for formal specification and verification methods for this type of systems. For this purpose, we develop a diagrammatic language of Shape Diagrams that concentrates on the critical concepts and is usable by both engineers and scientists. We present two syntaxes, an abstract one based on hypergraphs and graph transformation systems that constitutes the abstract structure, and a concrete one given in terms of conventions for drawing diagrammatic pictures.
U2 - 10.1007/978-3-642-14600-8_40
DO - 10.1007/978-3-642-14600-8_40
M3 - Conference contribution/Paper
SN - 9783642145995
T3 - Lecture Notes in Computer Science
SP - 316
EP - 318
BT - Diagrammatic Representation and Inference
A2 - Goel, Ashok K.
A2 - Jamnik, Mateja
A2 - Narayanan, N. Hari
PB - Springer
CY - Berlin
T2 - International Conference on the Theory and Applications of Diagrams
Y2 - 9 August 2010 through 11 August 2010
ER -
