Modeling and Verification of Real-time Systems

Modeling

by Navet Nicolas

Hardcover

ISBN: 978-1-84821-013-4

ISBN-10: 1-84821-013-2

ISTE Ltd · 2008

See also (possibly by other authors):
 Digital DownloadModeling and Verification of Real-time Systems (Iste)