Publication:5444994

zbMath1198.93002MaRDI QIDQ5444994

Rolf Drechsler, Goerschwin Fey

Publication date: 27 February 2008

Mathematics Subject Classification ID

93-02: Research exposition (monographs, survey articles) pertaining to systems and control theory

94-02: Research exposition (monographs, survey articles) pertaining to information and communication theory

Related Items

Towards Robustness Analysis Using PVS

Uses Software

• FoCs
• ANTLR
• Daikon
• SATIRE
• SystemC
• SATORI
• Pinapa
• HANNIBAL
• PASSAT