✦ LIBER ✦

Architectural refinement and notions of intransitive noninterference

✍ Scribed by Meyden, Ron

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Refinement of actions and equivalence no

✍ Rob van Glabbeek; Ursula Goltz 📂 Article 📅 2001 🏛 Springer-Verlag 🌐 English ⚖ 739 KB

Style-based modeling and refinement of s

✍ Luciano Baresi; Reiko Heckel; Sebastian Thöne; D´aniel Varr´o 📂 Article 📅 2006 🏛 Springer-Verlag 🌐 English ⚖ 954 KB

Comparative analysis of related notions

✍ Wu, Yi-Chin; Lafortune, StÃ©phane 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 896 KB

A Refinement on the Notion of Type I and

✍ E.J.M. Hensen; V.H.J. de Beer; J.A.R. van Veen; R.A. van Santen 📂 Article 📅 2002 🏛 Springer US 🌐 English ⚖ 164 KB

Circular proteins from Melicytus (Violac

✍ Trabi, Manuela; Mylne, Joshua S.; Sando, Lillian; Craik, David J. 📂 Article 📅 2009 🏛 Royal Society of Chemistry 🌐 English ⚖ 794 KB

[American Institute of Aeronautics and A

✍ Brown, Owen; Eremenko, Paul; Roberts, Christopher 📂 Article 📅 2006 🏛 American Institute of Aeronautics and Astronautics ⚖ 292 KB