𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007) - Busan, Korea (2007.08.20-2007.08.22)] 5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007) - Using Bounded Model Checking with BOGOR

✍ Scribed by Lee, Taehoon; Cho, Mintaek; Kwon, Gihwon

Book ID: 125478613
Publisher: IEEE
Year: 2007
Weight: 142 KB
Category: Article
ISBN: 0769528678
DOI: 10.1109/sera.2007.132

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 5th ACIS International Conference

[IEEE 5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007) - Busan, Korea (2007.08.20-2007.08.22)] 5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007) - New Database Operators for Sensor Networks

✍ Lee, Seungjae; Kim, Changhwa; Kim, Sangkyung 📂 Article 📅 2007 🏛 IEEE ⚖ 742 KB

[IEEE 5th ACIS International Conference

[IEEE 5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007) - Busan, Korea (2007.08.20-2007.08.22)] 5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007) - Dead Code Elimination in CTOC

✍ Kim, Ki-Tae; Kim, Je-Min; Yoo, Weon-Hee 📂 Article 📅 2007 🏛 IEEE ⚖ 303 KB

[IEEE 5th ACIS International Conference

[IEEE 5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007) - Busan, Korea (2007.08.20-2007.08.22)] 5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007) - Web Service Security model Using CBD Architecture

✍ Park, Eun-Ju; Kim, Haeng-Kon; Lee, Roger Y. 📂 Article 📅 2007 🏛 IEEE ⚖ 659 KB

[IEEE 5th ACIS International Conference

[IEEE 5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007) - Busan, Korea (2007.08.20-2007.08.22)] 5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007) - Taguchi Larger-the-Best Software Quality Metrics

✍ Akingbehin, Kiumi 📂 Article 📅 2007 🏛 IEEE ⚖ 150 KB

[IEEE 5th ACIS International Conference

[IEEE 5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007) - Busan, Korea (2007.08.20-2007.08.22)] 5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007) - A Implementation of Object Oriented Database Security

✍ Ambhore, Premchand B.; Meshram, B. B.; Waghmare, V. B. 📂 Article 📅 2007 🏛 IEEE ⚖ 183 KB

[IEEE 5th ACIS International Conference

[IEEE 5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007) - Busan, Korea (2007.08.20-2007.08.22)] 5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007) - A Dynamic Coupling for Reusable and Efficient Software System

✍ Choi, Misook; Lee, JongSuk 📂 Article 📅 2007 🏛 IEEE ⚖ 496 KB