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

Institut für Softwaretechnologie (7160)

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	deutsch
Titel	Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software (TTSS 2008)
Herausgeber (Verlag)	Elsevier B.V.
Seiten	3-14
Band	243
DOIs	https://doi.org/doi:10.1016/j.entcs.2009.07.002
Publikationsstatus	Veröffentlicht - 2009

Publikationsreihe

Name	Electronic Notes in Theoretical Computer Science
Herausgeber (Verlag)	Elsevier

Treatment code (Nähere Zuordnung)

Application

Zugriff auf Dokument

doi:10.1016/j.entcs.2009.07.002

Formale Methoden
Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.
1/01/95 → …
Projekt: Arbeitsgebiet

Dieses zitieren

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) (Band 243, S. 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). Band 243 Elsevier B.V., 2009. S. 3-14 (Electronic Notes in Theoretical Computer Science).

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

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). Bd. 243, Electronic Notes in Theoretical Computer Science, Elsevier B.V., S. 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

Publikationsreihe

Treatment code (Nähere Zuordnung)

Zugriff auf Dokument

Projekte

Formale Methoden

Dieses zitieren