TU Berlin

Software and Embedded Systems EngineeringPublications

SESE-Logo in blau

Page Content

to Navigation


Preserving liveness guarantees from synchronous communication to asynchronous unstructured low-level languages
Citation key Berg2018
Author Nils Berg and Thomas Göthel and Armin Danziger and Sabine Glesner
Title of Book 20th International Conference on Formal Engineering Methods (ICFEM)
Pages 303–319
Year 2018
Publisher Springer
Download Bibtex entry


Quick Access

Schnellnavigation zur Seite über Nummerneingabe