Yazar Araması Sonucu

1

Yazar: Haltermann, Jan, Wehrheim, Heike
Yayımlandı Fundamental Approaches to Software Engineering (2021)

Tam Metin Erişim
Tam Metin Erişim

Artigo

2

Yazar: International Conference on Integrated Formal Methods, Leuschel, Michael., Wehrheim, Heike.
Baskı/Yayın Bilgisi 2009.

Tam Metin Erişim

Livro

3

Yazar: Bila, Eleni, Doherty, Simon, Dongol, Brijesh, Derrick, John, Schellhorn, Gerhard, Wehrheim, Heike
Yayımlandı Formal Techniques for Distributed Objects, Components, and Systems (2020)

Tam Metin Erişim
Tam Metin Erişim

Artigo

4

Yazar: International Conference on Formal Methods for Open Object-Based Distributed Systems, Gorrieri, Roberto., Wehrheim, Heike.
Baskı/Yayın Bilgisi 2006

Tam Metin Erişim

Livro

5

Yayımlandı Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2020)

“...Wehrheim, Heike...”
Tam Metin Erişim

Livro

Aramayı Daralt