✦ LIBER ✦

A formal framework for interfacing mixed-timing systems

✍ Scribed by Das, Shirshendu; Duggirala, Parasara Sridhar; Kapoor, Hemangee K.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Robust interfaces for mixed-timing syste

✍ Chelcea, T.; Nowick, S.M. 📂 Article 📅 2004 🏛 IEEE 🌐 English ⚖ 518 KB

A formal mathematical framework for mode

✍ Robert St-Aubin; Joel Friedman; Alan K. Mackworth 📂 Article 📅 2007 🏛 Springer Netherlands 🌐 English ⚖ 679 KB

A formal specification framework for obj

✍ Buchs, D.; Guelfi, N. 📂 Article 📅 2000 🏛 IEEE 🌐 English ⚖ 355 KB

A formal framework for specifying sequen

✍ Miller, Dale; Pimentel, Elaine 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 479 KB

A Compositional Framework for Formally V

✍ Carlo A. Furia; Matteo Rossi 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 284 KB

An Efficient Formal Framework for Intrus

✍ Rouached, Mohsen; Sallay, Hassen 📂 Article 📅 2012 🏛 Elsevier 🌐 English ⚖ 570 KB