✦ LIBER ✦

Formal requirements modelling with executable use cases and coloured Petri nets

✍ Scribed by Jens B. Jørgensen; Simon Tjell; João M. Fernandes

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Modelling, simulation and scheduling of

✍ O. V. Krishnaiah Chetty; O. C. Gnanasekaran 📂 Article 📅 1996 🏛 Springer 🌐 English ⚖ 905 KB

Model-based requirements analysis for re

✍ Kristian Bisgaard Lassen; Simon Tjell 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 423 KB

Modelling and analysis of multiple clust

✍ Tauseef Aized 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 222 KB

Using colored Petri nets to model and an

✍ Yahui Lu; Li Zhang; Jiaguang Sun 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 265 KB

Performance Modelling and Evaluation of

✍ F.F. Chen; J. Chen 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 229 KB

Integration of task networks and cogniti

✍ Tom Kontogiannis 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 470 KB