Original language | English |
---|---|
Title of host publication | Proceedings of the 5th WSEAS International Conference on Microelectronics, Nanoelectronics, Optoelectronics (MINO'06, Prague, Czech Republic, March 12-14, 2006) |
Pages | ...-... |
Publication status | Published - 2006 |
Formal verification of SystemC^FL specifications using model checker SPIN
K.L. Man
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review