✦ LIBER ✦

Integration and analysis of use cases using modular Petri nets in requirements engineering

✍ Scribed by Woo Jin Lee; Sung Deok Cha; Yong Rae Kwon

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal requirements modelling with execu

✍ Jens B. Jørgensen; Simon Tjell; João M. Fernandes 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 814 KB

Requirements specification and analysis

✍ Shen, V.R.L.; Feipei Lai 📂 Article 📅 1998 🏛 IEEE 🌐 English ⚖ 142 KB

Modeling and Analysis of Workflows Using

✍ Nabil R. Adam; Vijayalakshmi Atluri; Wei-Kuang Huang 📂 Article 📅 1998 🏛 Springer US 🌐 English ⚖ 381 KB

Modelling and recovery analysis of prote

✍ Lawrence Jenkins; H.P. Khincha 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 685 KB

Modeling and performance analysis of clu

✍ Srinivasan, R.S. 📂 Article 📅 1998 🏛 IEEE 🌐 English ⚖ 212 KB

Distributed simulation of timed Petri ne

✍ Beraldi, R.; Nigro, L. 📂 Article 📅 1999 🏛 IEEE Computer Society 🌐 English ⚖ 877 KB