✦ LIBER ✦

Recent Advances in Real-Time Maude

✍ Scribed by Peter Csaba Ölveczky; José Meseguer

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Real-Time Maude 2.1

✍ Peter Csaba Ölveczky; José Meseguer 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 495 KB

Recent Advances in Real-Time Load-Pull S

✍ Teppati, V.; Ferrero, A.; Pisani, U. 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 362 KB

Recent advances in modeling response-tim

✍ Trivedi, K.S.; Ramani, S.; Fricks, R. 📂 Article 📅 2003 🏛 IEEE 🌐 English ⚖ 535 KB

Abstraction and Completeness for Real-Ti

✍ Peter Csaba Ölveczky; José Meseguer 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 430 KB

Semantics and pragmatics of Real-Time Ma

✍ Peter Csaba Ölveczky; José Meseguer 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 572 KB

A Guide to Extending Full Maude Illustra

✍ Francisco Durán; Peter Csaba Ölveczky 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 342 KB