✦ LIBER ✦

Object-oriented co-specification for embedded systems

✍ Scribed by Wayne Wolf

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An object-oriented model for the specifi

✍ S.T.W Wong; K.L Mak; H.Y.K Lau 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 200 KB

CSL: A class specification language for

✍ G. Bucci; R. Cecchini; A. Del Bimbo 📂 Article 📅 1990 🏛 Elsevier Science ⚖ 375 KB

Fundamentals of object-oriented informat

✍ Hans-Dieter Ehrich 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 281 KB

Object-oriented methods for manufacturin

✍ Minlin Zhou; Richard Greenwell; James Tannock 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 896 KB

An object oriented model for concurrent

✍ Zhang Qian; Chen Shihong 📂 Article 📅 1998 🏛 Wuhan University 🌐 English ⚖ 446 KB

Code Based Analysis for Object-Oriented

✍ Swapan Bhattacharya; Ananya Kanjilal 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 349 KB