Modeling and testing multi-threaded asynchronous systems with Creol

Bernhard Aichernig, Andreas Griesmayer, Rudolf Schlatte, Andries Stam

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

Original languageGerman
Title of host publicationProceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software (TTSS 2008)
PublisherElsevier B.V.
Pages3-14
Volume243
DOIs
Publication statusPublished - 2009

Publication series

NameElectronic Notes in Theoretical Computer Science
PublisherElsevier

Treatment code (Nähere Zuordnung)

  • Application
  • Formal Methods

    Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.

    1/01/95 → …

    Project: Research area

Cite this