• Bokmål
  • English

Sitemap

Archived publication

Archived publication

Combining graphical and formal development of open distributed systems

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:

 

For more information please search using the search box in the top right corner.

Postal address:
Norsk Regnesentral/
Norwegian Computing Center
P.O. Box 114 Blindern
NO-0314 Oslo
Norway
Visit address:
Norsk Regnesentral
Gaustadalleen 23a
Kristen Nygaards hus
NO-0373 Oslo.
Phone:
(+47) 22 85 25 00
Address How to get to NR
Social media Share on social media
Privacy policy Privacy policy
Postal address: Norsk Regnesentral/Norwegian Computing Center, P.O. Box 114 Blindern, NO-0314 Oslo, Norway
Visit address: Norsk Regnesentral, Gaustadalleen 23a, Kristen Nygaards hus, NO-0373 Oslo.
Phone: (+47) 22 85 25 00
AddressHow to get to NR