Refinement rules for the automatic TLM-to-RTL conversion of temporal assertions

Autor:	Pierre, Laurence
Zdroj:	In Integration January 2021 76:190-204
Databáze:	ScienceDirect
Externí odkaz:	Zobrazit plný text záznamu Full Text from ScienceDirect