APPLYING FORMAL METHODS TO STANDARD DEVELOPMENT - THE OPEN DISTRIBUTED-PROCESSING EXPERIENCE Journal Articles Refereed uri icon

Overview

Published in

  • Computer Standards & Interfaces

Time

Date/time value

  • 1995

Identity

Digital Object Identifier (DOI)

  • 10.1016/0920-5489(95)00025-P

Additional Document Info

Parent Title

  • COMPUTER STANDARDS & INTERFACES

Volume

  • 17

Issue

  • 5-6

Publisher

  • Elsevier