Chapter 8: Interface Theories: 8.7 Modal interfaces as Assume /Guarantee contracts.

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:	COMPUTER interfaces MODAL logic SURETYSHIP & guaranty CONTRACTS MATHEMATICAL models VENDING machines -- Design & construction SYSTEMS design
Zdroj:	Foundations & Trends in Electronic Design Automation; 2018, Vol. 12 Issue 2/3, p276-283, 8p
Databáze:	Complementary Index
Externí odkaz:	Zobrazit plný text záznamu