✦ LIBER ✦

Synchronous protocol automata: a framework for modelling and verification of SoC communication architectures

✍ Scribed by D'silva, V.; Ramesh, S.; Sowmya, A.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A game-theoretic framework for specifica

✍ Mohamed Saleh; Mourad Debbabi 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 385 KB

The Common Modelling Protocol: A hierarc

✍ A.D. Moore; D.P. Holzworth; N.I. Herrmann; N.I. Huth; M.J. Robertson 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 505 KB

A service-oriented architecture for inte

✍ Pedro T Monteiro; Estelle Dumas; Bruno Besson; Radu Mateescu; Michel Page; Ana T 📂 Article 📅 2009 🏛 BioMed Central 🌐 English ⚖ 940 KB

Verification of Web Service Compositions

✍ Maximilian Röglinger 📂 Article 📅 2009 🏛 SP Gabler Verlag ⚖ 494 KB

Performance analysis of timed Petri net

✍ M Reda El-Karaksy; Adnan S Nouh; AbdulRahman Al-Obaidan 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 834 KB

A theoretical framework for understandin

✍ T Hadjistavropoulos; K.D Craig 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 120 KB