𝔖 Bobbio Scriptorium

✦ LIBER ✦

[ACM Press the 47th Annual Southeast Regional Conference - Clemson, South Carolina (2009.03.19-2009.03.21)] Proceedings of the 47th Annual Southeast Regional Conference on - ACM-SE 47 - Formal verification of AADL behavior models

✍ Scribed by Liu, Hong; Gluch, David P.

Book ID: 121390364
Publisher: ACM Press
Year: 2009
Weight: 356 KB
Category: Article
ISBN: 1605584215
DOI: 10.1145/1566445.1566495

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[ACM Press the 47th Annual Southeast Reg

[ACM Press the 47th Annual Southeast Regional Conference - Clemson, South Carolina (2009.03.19-2009.03.21)] Proceedings of the 47th Annual Southeast Regional Conference on - ACM-SE 47 - An overview of programming language based security

✍ Niño, Jaime 📂 Article 📅 2009 🏛 ACM Press ⚖ 311 KB

[ACM Press the 47th Annual Southeast Reg

[ACM Press the 47th Annual Southeast Regional Conference - Clemson, South Carolina (2009.03.19-2009.03.21)] Proceedings of the 47th Annual Southeast Regional Conference on - ACM-SE 47 - A study of a KVM-based cluster for grid computing

✍ Fenn, Michael; Murphy, Michael A.; Goasguen, Sebastien 📂 Article 📅 2009 🏛 ACM Press ⚖ 250 KB

[ACM Press the 45th annual southeast reg

[ACM Press the 45th annual southeast regional conference - Winston-Salem, North Carolina (2007.03.23-2007.03.24)] Proceedings of the 45th annual southeast regional conference on - ACM-SE 45 - Honeypots

✍ Mokube, Iyatiti; Adams, Michele 📂 Article 📅 2007 🏛 ACM Press ⚖ 194 KB

[ACM Press the 44th annual southeast reg

[ACM Press the 44th annual southeast regional conference - Melbourne, Florida (2006.03.10-2006.03.12)] Proceedings of the 44th annual southeast regional conference on - ACM-SE 44 - SHEPPACK

✍ Iyer, Manjula A.; Watson, Layne T.; Berry, Michael W. 📂 Article 📅 2006 🏛 ACM Press 🌐 English ⚖ 168 KB

[ACM Press the 44th annual southeast reg

[ACM Press the 44th annual southeast regional conference - Melbourne, Florida (2006.03.10-2006.03.12)] Proceedings of the 44th annual southeast regional conference on - ACM-SE 44 - LARS

✍ Hu, Jiangyi; Burmester, Mike 📂 Article 📅 2006 🏛 ACM Press 🌐 English ⚖ 146 KB

[ACM Press the 44th annual southeast reg

[ACM Press the 44th annual southeast regional conference - Melbourne, Florida (2006.03.10-2006.03.12)] Proceedings of the 44th annual southeast regional conference on - ACM-SE 44 - Edge detection using wavelets

✍ Brannock, Evelyn; Weeks, Michael 📂 Article 📅 2006 🏛 ACM Press 🌐 English ⚖ 504 KB