𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc. Press ICECCS '96: 2nd IEEE International Conference on Engineering of Complex Computer Systems (held jointly with 6th CSESAW and 4th IEEE RTAW) - Montreal, Que., Canada (21-25 Oct. 1996)] Proceedings of ICECCS '96: 2nd IEEE International Conference on Engineering of Complex Computer Systems (held jointly with 6th CSESAW and 4th IEEE RTAW) - System refinement in VDM-SL

✍ Scribed by Mukherjee, P.

Book ID: 126728262
Publisher: IEEE Comput. Soc. Press
Year: 1996
Tongue: English
Weight: 933 KB
Category: Article
ISBN-13: 9780818676147
DOI: 10.1109/ICECCS.1996.558516

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc. Press ICECCS '96: 2nd

[IEEE Comput. Soc. Press ICECCS '96: 2nd IEEE International Conference on Engineering of Complex Computer Systems (held jointly with 6th CSESAW and 4th IEEE RTAW) - Montreal, Que., Canada (21-25 Oct. 1996)] Proceedings of ICECCS '96: 2nd IEEE International Conference on Engineering of Complex Computer Systems (held jointly with 6th CSESAW and 4th IEEE RTAW) - Operator resources for large complex systems

✍ Harelick, M.; Stoyenko, A.; Amaro, C.; Scherl, R.; Marlowe, T.J. 📂 Article 📅 1996 🏛 IEEE Comput. Soc. Press 🌐 English ⚖ 616 KB

[IEEE Comput. Soc. Press ICECCS '96: 2nd

[IEEE Comput. Soc. Press ICECCS '96: 2nd IEEE International Conference on Engineering of Complex Computer Systems (held jointly with 6th CSESAW and 4th IEEE RTAW) - Montreal, Que., Canada (21-25 Oct. 1996)] Proceedings of ICECCS '96: 2nd IEEE International Conference on Engineering of Complex Computer Systems (held jointly with 6th CSESAW and 4th IEEE RTAW) - Coupling-based integration testing

✍ Zhenyi Jin, ; Offutt, A.J. 📂 Article 📅 1996 🏛 IEEE Comput. Soc. Press 🌐 English ⚖ 797 KB

[IEEE Comput. Soc. Press ICECCS '96: 2nd

[IEEE Comput. Soc. Press ICECCS '96: 2nd IEEE International Conference on Engineering of Complex Computer Systems (held jointly with 6th CSESAW and 4th IEEE RTAW) - Montreal, Que., Canada (21-25 Oct. 1996)] Proceedings of ICECCS '96: 2nd IEEE International Conference on Engineering of Complex Computer Systems (held jointly with 6th CSESAW and 4th IEEE RTAW) - Modeling and analysis of complex computer systems-the MTCCS approach

✍ Toetenel, H.; Spelberg, R.L.; Stuurman, S.; van Katwijk, J. 📂 Article 📅 1996 🏛 IEEE Comput. Soc. Press 🌐 English ⚖ 888 KB

[IEEE Comput. Soc. Press ICECCS '96: 2nd

[IEEE Comput. Soc. Press ICECCS '96: 2nd IEEE International Conference on Engineering of Complex Computer Systems (held jointly with 6th CSESAW and 4th IEEE RTAW) - Montreal, Que., Canada (21-25 Oct. 1996)] Proceedings of ICECCS '96: 2nd IEEE International Conference on Engineering of Complex Computer Systems (held jointly with 6th CSESAW and 4th IEEE RTAW) - Assessing complex computer based systems using the Goal Structuring Notation

✍ Wilson, S.P.; McDermid, J.A.; Pygott, C.H.; Tombs, D.J. 📂 Article 📅 1996 🏛 IEEE Comput. Soc. Press 🌐 English ⚖ 964 KB

[IEEE Comput. Soc. Press ICECCS '96: 2nd

[IEEE Comput. Soc. Press ICECCS '96: 2nd IEEE International Conference on Engineering of Complex Computer Systems (held jointly with 6th CSESAW and 4th IEEE RTAW) - Montreal, Que., Canada (21-25 Oct. 1996)] Proceedings of ICECCS '96: 2nd IEEE International Conference on Engineering of Complex Computer Systems (held jointly with 6th CSESAW and 4th IEEE RTAW) - Teledesic network and space infrastructure architecture and design features

✍ Stuart, J.R. 📂 Article 📅 1996 🏛 IEEE Comput. Soc. Press ⚖ 432 KB

[IEEE Comput. Soc. Press ICECCS '96: 2nd

[IEEE Comput. Soc. Press ICECCS '96: 2nd IEEE International Conference on Engineering of Complex Computer Systems (held jointly with 6th CSESAW and 4th IEEE RTAW) - Montreal, Que., Canada (21-25 Oct. 1996)] Proceedings of ICECCS '96: 2nd IEEE International Conference on Engineering of Complex Computer Systems (held jointly with 6th CSESAW and 4th IEEE RTAW) - A theory of lexicographic multi-criteria optimization

✍ Rentmeesters, M.J.; Tsai, W.K.; Kwei-Jay Lin, 📂 Article 📅 1996 🏛 IEEE Comput. Soc. Press 🌐 English ⚖ 492 KB