Modeling and testing multi-threaded asynchronous systems with Creol

Bernhard Aichernig; Andreas Griesmayer; Rudolf Schlatte; Andries Stam

doi:doi:10.1016/j.entcs.2009.07.002

Modeling and testing multi-threaded asynchronous systems with Creol

Bernhard Aichernig, Andreas Griesmayer, Rudolf Schlatte, Andries Stam

Institute of Software Engineering and Artificial Intelligence (7160)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	German
Title of host publication	Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software (TTSS 2008)
Publisher	Elsevier B.V.
Pages	3-14
Volume	243
DOIs	https://doi.org/doi:10.1016/j.entcs.2009.07.002
Publication status	Published - 2009

Publication series

Name	Electronic Notes in Theoretical Computer Science
Publisher	Elsevier

Treatment code (Nähere Zuordnung)

Application

Access to Document

doi:10.1016/j.entcs.2009.07.002

Formal Methods
Lucas, P. (Co-Investigator (CoI)), Lorber, F. L. (Co-Investigator (CoI)), Jöbstl, E. (Co-Investigator (CoI)) & Aichernig, B. (Co-Investigator (CoI))
1/01/95 → 31/12/24
Project: Research area

Cite this

Aichernig, B., Griesmayer, A., Schlatte, R., & Stam, A. (2009). Modeling and testing multi-threaded asynchronous systems with Creol. In Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software (TTSS 2008) (Vol. 243, pp. 3-14). (Electronic Notes in Theoretical Computer Science). Elsevier B.V.. https://doi.org/doi:10.1016/j.entcs.2009.07.002

Modeling and testing multi-threaded asynchronous systems with Creol. / Aichernig, Bernhard; Griesmayer, Andreas; Schlatte, Rudolf et al.
Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software (TTSS 2008). Vol. 243 Elsevier B.V., 2009. p. 3-14 (Electronic Notes in Theoretical Computer Science).

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Aichernig, B, Griesmayer, A, Schlatte, R & Stam, A 2009, Modeling and testing multi-threaded asynchronous systems with Creol. in Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software (TTSS 2008). vol. 243, Electronic Notes in Theoretical Computer Science, Elsevier B.V., pp. 3-14. https://doi.org/doi:10.1016/j.entcs.2009.07.002

@inproceedings{9280390a335b42c09e87eb9e22c2ab82,

title = "Modeling and testing multi-threaded asynchronous systems with Creol",

author = "Bernhard Aichernig and Andreas Griesmayer and Rudolf Schlatte and Andries Stam",

year = "2009",

doi = "doi:10.1016/j.entcs.2009.07.002",

language = "deutsch",

volume = "243",

series = "Electronic Notes in Theoretical Computer Science",

publisher = "Elsevier B.V.",

pages = "3--14",

booktitle = "Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software (TTSS 2008)",

address = "Niederlande",

}

TY - GEN

T1 - Modeling and testing multi-threaded asynchronous systems with Creol

AU - Aichernig, Bernhard

AU - Griesmayer, Andreas

AU - Schlatte, Rudolf

AU - Stam, Andries

PY - 2009

Y1 - 2009

U2 - doi:10.1016/j.entcs.2009.07.002

DO - doi:10.1016/j.entcs.2009.07.002

M3 - Beitrag in einem Konferenzband

VL - 243

T3 - Electronic Notes in Theoretical Computer Science

SP - 3

EP - 14

BT - Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software (TTSS 2008)

PB - Elsevier B.V.

ER -

Modeling and testing multi-threaded asynchronous systems with Creol

Publication series

Treatment code (Nähere Zuordnung)

Access to Document

Projects

Formal Methods

Cite this