Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Publications
Recent
All
Projects
Sirius
Service
Courses
Contact
Light
Dark
Automatic
Wenhui Zhang
Joint Papers
Combining Graphical and Formal Development of Open Distributed Systems
Specification of Distributed Systems with a Combination of Graphical and Formal Languages
Cite
×