Synchronous equivalence : formal methods for embedded systems

Author(s)

• Hsieh, Harry
• Balarin, Felice
• Sangiovanni-Vincentelli, Alberto

Bibliographic Information

Synchronous equivalence : formal methods for embedded systems

Harry Hsieh, Felice Balarin, Alberto Sangiovanni-Vincentelli

Kluwer Academic Publishers, 2001

Note

Includes bibliographical references (p. [133]-136) and index

Details

• NCID: BA51971918
• ISBN:
  • 079237262X
• LCCN: 00051457
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Boston
• Pages/Volumes: x, 136 p.
• Size: 25 cm
• Classification:
  • LCC : TK7895.E42
  • DC21 : 004.16
• Subject Headings:
  • LCSH : Embedded computer systems
  • LCSH : Formal methods (Computer science)