Modeling and verification of real-time systems : formalisms and software tools

Editor

edited by Stephan Merz, Nicolas Navet

Publication

London Hoboken, NJ : ISTE John Wiley

Publication Year

c2008

Collation

393p.: ill.

Notes

Includes bibliographical references and index , Cataloging based on copy version

Index

Includes index

Bibliography

Includes bibliographies

Subject

Real-time data processing , Computer software - Verification , Formal methods (Computer science)

ADDED ENTRIES

AU Navet, Nicolas , AU Merz, Stephan

Main Class

004

Sub Class

.0151

Cutter no

M689

ISBN

978-1-84821-013-4

واردكننده اطلاعات

شيرين السادات خليفه سلطاني

Link To Document