Combining graphical and formal development of open distributed systems

3550/Johnsen_-_Combining_graphical_and_formal_development_of_open.pdf

Johnsen, Einar; Zhang, Wenhui; Owe, Olaf; Aredo, Demissie

January 01, 2002

DART

• ISBN:
• Author(s): Johnsen, Einar; Zhang, Wenhui; Owe, Olaf; Aredo, Demissie
• Title: Combining graphical and formal development of open distributed systems
• Volume/number: 2335
• Name and number of project:
• Journal: Lecture Notes in Computer Science
• Page(s): 319-338
• Conference: Integrated Formal Methods 2002 (IFM 2002)
• Filename: 3550/Johnsen_-_Combining_graphical_and_formal_development_of_open.pdf
• Refereed: 1
• Publisher: Springer Verlag
• Published date: January 01, 2002
• Book title:
• Editor: