Systematic verification of embedded components with re-usable properties | IEEE Conference Publication | IEEE Xplore

Systematic verification of embedded components with re-usable properties | IEEE Conference Publication | IEEE Xplore

翻译：