A Contract-Based Language for Embedded Control Systems

Autor:	Eker, Johan, Blomdell, Anders
Zdroj:	In IFAC Proceedings Volumes May 2000 33(7):17-22
Databáze:	ScienceDirect
Externí odkaz:	Zobrazit plný text záznamu