Chapter 5: Assume/Guarantee Contracts: 5.1 Synchronous A/G contracts with fixed alphabet.

Autor:	Benveniste, A., Caillaud, B., Nickovic, D., Passerone, R., Raclet, J.-B., Reinkemeier, Ph., Sangiovanni-Vincentelli, A., Damm, W., Henzinger, T., Larsen, K. G.
Předmět:	SURETYSHIP & guaranty MATHEMATICAL models CONTRACTS ASSERTIONS (Logic) METATHEORY MAXIMA & minima MATHEMATICAL bounds
Zdroj:	Foundations & Trends in Electronic Design Automation; 2018, Vol. 12 Issue 2/3, p183-189, 7p
Databáze:	Complementary Index
Externí odkaz:	Zobrazit plný text záznamu