लेखक खोज परिणाम

1

द्वारा Haltermann, Jan, Wehrheim, Heike
में प्रकाशित Fundamental Approaches to Software Engineering (2021)

पूर्ण पाठ प्राप्त करें
पूर्ण पाठ प्राप्त करें

Artigo

2

द्वारा International Conference on Integrated Formal Methods, Leuschel, Michael., Wehrheim, Heike.
प्रकाशित 2009.

पूर्ण पाठ प्राप्त करें

Livro

3

द्वारा Bila, Eleni, Doherty, Simon, Dongol, Brijesh, Derrick, John, Schellhorn, Gerhard, Wehrheim, Heike
में प्रकाशित Formal Techniques for Distributed Objects, Components, and Systems (2020)

पूर्ण पाठ प्राप्त करें
पूर्ण पाठ प्राप्त करें

Artigo

4

द्वारा International Conference on Formal Methods for Open Object-Based Distributed Systems, Gorrieri, Roberto., Wehrheim, Heike.
प्रकाशित 2006.

पूर्ण पाठ प्राप्त करें

Livro

5

में प्रकाशित Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2020)

“...Wehrheim, Heike...”
पूर्ण पाठ प्राप्त करें

Livro

संकीर्ण खोज