✦ LIBER ✦

Modelling and analysis of the AMBA bus using CSP and B

✍ Scribed by Alistair A. McEwan; Steve Schneider

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

AMBA bus hardware accelerator IP for Vio

✍ Acasandrei, Laurentiu; Barriga, Angel 📂 Article 📅 2013 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 831 KB

Revivals, stuckness and the hierarchy of

✍ A.W. Roscoe 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 418 KB

Modeling and performance analysis of sin

✍ Bodnar, B.L.; Liu, A.C. 📂 Article 📅 1989 🏛 IEEE 🌐 English ⚖ 734 KB

Analysis of Distribution Line Carrier Pr

✍ Amoura, F. K.; O'Neal, J. B. 📂 Article 📅 1987 🏛 IEEE 🌐 English ⚖ 895 KB

The pre-ischaemic neuroprotective effect

✍ Jun Li; Martin C. Henman; Jeffrey Atkinson; Solomon Fixon-Owoo; Turgut Tatlisuma 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 308 KB

On the specification and implementation

✍ Stephen P. Van Trees; Ophir Frieder 📂 Article 📅 1991 🏛 Elsevier Science ⚖ 633 KB