Formal verification of computer controlled systems

Formal verification of computer controlled systems

Show other versions (1)

Not available === text

Bibliographic Details
Main Author: Harutunian, Shant
Format: Others
Language:English
Published: 2008
Subjects:
Computer programs > Verification
Automatic control
Online Access:http://hdl.handle.net/2152/3063

Internet

http://hdl.handle.net/2152/3063

Similar Items