Chapter 10: Contracts for Requirement Engineering: 10.2 The car parking system, informal presentation.

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:	PARKING lot design & construction REQUIREMENTS engineering SYSTEM integration SOFTWARE architecture SUBCONTRACTING MACHINE theory MATHEMATICAL models
Zdroj:	Foundations & Trends in Electronic Design Automation; 2018, Vol. 12 Issue 2/3, p331-335, 5p
Databáze:	Complementary Index
Externí odkaz:	Zobrazit plný text záznamu