Home > Research > Students/Post-docs > Madhav Jha
Madhav Jha
Connecting the LusSy toolchain for the verification of SystemC models to the NuSMV model-checker
Monday 1 January 2007
Years:
2007
(Bachelor of engineering)
Subject: Connecting the LusSy toolchain for the verification of SystemC models to the NuSMV model-checker
Subject: Connecting the LusSy toolchain for the verification of SystemC models to the NuSMV model-checker
| Log in |
Site Map |
Graphic design (c) styleshout under License Creative Commons Attribution 2.5 License