Search alternatives:
communication methods » communication meetings
computational method » computational methods, computational models, computational model
Cover Image
Read Now

1
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... formal methods using vdm -- Model-checking the architectural design of a fail-safe communication system...”