✦ LIBER ✦

Real-Time Maude 2.1

✍ Scribed by Peter Csaba Ölveczky; José Meseguer

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Recent Advances in Real-Time Maude

✍ Peter Csaba Ölveczky; José Meseguer 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 341 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

Real-Time Maude: A Tool for Simulating a

✍ Peter Csaba ölveczky; José Meseguer 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 197 KB

✍ Elle van Rijn 📂 Fiction 📅 2022 🏛 LOFT Books 🌐 Dutch ⚖ 126 KB