Communicating embedded systems software and design : formal methods

Saved in:
Bibliographic Details
Other Authors: Jard, Claude, Roux, Olivier H.
Format: Unknown
Language:English
French
Published: London ISTE ohn Wiley and Sons 2010
Subjects:
Online Access:Click Here to View Status and Holdings.
Tags: Add Tag
No Tags, Be the first to tag this record!