𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2009 International Conference on Methods and Models in Computer Science (ICM2CS) - Delhi (2009.12.14-2009.12.15)] 2009 Proceeding of International Conference on Methods and Models in Computer Science (ICM2CS) - Traceability of requirements and consistency verification of UML use case, activity and Class diagram: A Formal approach

✍ Scribed by Chanda, J.; Kanjilal, A.; Sengupta, S.; Bhattacharya, S.

Book ID: 120735153
Publisher: IEEE
Year: 2009
Weight: 810 KB
Category: Article
ISBN: 1424450519
DOI: 10.1109/ICM2CS.2009.5397941

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2009 International Conference on M

[IEEE 2009 International Conference on Methods and Models in Computer Science (ICM2CS) - Delhi (2009.12.14-2009.12.15)] 2009 Proceeding of International Conference on Methods and Models in Computer Science (ICM2CS) - Delta compression effect on smart card fingerprint verification system

✍ Shrivastava, P.; Kumar, S.; Choudhary, V. 📂 Article 📅 2009 🏛 IEEE ⚖ 962 KB

[IEEE 2009 International Conference on M

[IEEE 2009 International Conference on Methods and Models in Computer Science (ICM2CS) - Delhi (2009.12.14-2009.12.15)] 2009 Proceeding of International Conference on Methods and Models in Computer Science (ICM2CS) - Discovering maximal subsequence patterns in sequence database

✍ Singhal, L.; Jain, N.; Gupta, G.; Gupta, N. 📂 Article 📅 2009 🏛 IEEE ⚖ 955 KB

[IEEE 2009 International Conference on M

[IEEE 2009 International Conference on Methods and Models in Computer Science (ICM2CS) - Delhi (2009.12.14-2009.12.15)] 2009 Proceeding of International Conference on Methods and Models in Computer Science (ICM2CS) - An optimization formulation to compute Nash equilibrium in finite games

✍ Chatterjee, B. 📂 Article 📅 2009 🏛 IEEE ⚖ 445 KB

[IEEE 2010 International Conference on M

[IEEE 2010 International Conference on Methods and Models in Computer Science (ICM2CS 2010) - New Delhi (2010.12.13-2010.12.14)] 2010 International Conference on Methods and Models in Computer Science (ICM2CS-2010) - A novel rank ordered filter based edge enhancement of medical images using intuitionistic fuzzy set theory

✍ Chaira, T 📂 Article 📅 2010 🏛 IEEE ⚖ 658 KB

AIP Conference Proceedings [AIP PROCEEDI

AIP Conference Proceedings [AIP PROCEEDINGS OF THE 2ND INTERNATIONAL SYMPOSIUM ON COMPUTATIONAL MECHANICS AND THE 12TH INTERNATIONAL CONFERENCE ON THE ENHANCEMENT AND PROMOTION OF COMPUTATIONAL METHODS IN ENGINEERING AND SCIENCE - Hong Kong- Macau (China) (30 November–3 December 2009)] - On the Structure of a New Superhard Hexagonal Carbon Phase

✍ Zhang, Bin; Liang, Yongcheng; Guo, Zaoyang; Bordas, Stéphane; Lu, Jane W. Z.; L 📂 Article 📅 2010 🏛 AIP ⚖ 864 KB

AIP Conference Proceedings [AIP PROCEEDI

AIP Conference Proceedings [AIP PROCEEDINGS OF THE 2ND INTERNATIONAL SYMPOSIUM ON COMPUTATIONAL MECHANICS AND THE 12TH INTERNATIONAL CONFERENCE ON THE ENHANCEMENT AND PROMOTION OF COMPUTATIONAL METHODS IN ENGINEERING AND SCIENCE - Hong Kong- Macau (China) (30 November–3 December 2009)] - Numerical Modelling of Glass Fibre Reinforced Laminates Subjected to a Low Velocity Impact

✍ Fan, J. Y.; Guana, Z. W.; Cantwell, W. J.; Lu, Jane W. Z.; Leung, Andrew Y. T.; 📂 Article 📅 2010 🏛 AIP ⚖ 881 KB