Jan Stöcker

According to our database¹, Jan Stöcker authored at least 2 papers in 2009.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2009

An Intermediate Model for the Verification of Asynchronous Real-Time Embedded Systems: Definition and Application of the ATLANTIF language.

[BibT_eX]

[DOI]

PhD thesis, 2009

Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, 7th International Conference, 2009