Archived publication
Archived publication
Combining graphical and formal development of open distributed systems
3550/Johnsen_-_Combining_graphical_and_formal_development_of_open.pdf
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: