𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Symbolic model checking of UML activity diagrams

✍ Scribed by Eshuis, Rik

Book ID
124080090
Publisher
Association for Computing Machinery
Year
2006
Tongue
English
Weight
515 KB
Volume
15
Category
Article
ISSN
1049-331X

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

[IEEE 2010 10th Annual International Con
[IEEE 2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE) - Tozeur, Tunisia (2010.05.31-2010.06.2)] 2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE) - Symbolic model checking supporting formal verification of Grid service workflow models specified by UML activity diagrams
✍ Bendaly Hlaoui, Yousra; Jemni Benayed, Leila πŸ“‚ Article πŸ“… 2010 πŸ› IEEE βš– 266 KB
Symbolic Model Checking of Software
Symbolic Model Checking of Software
✍ Flavio Lerda; Nishant Sinha; Michael Theobald πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 978 KB
The formal semantics of an UML activity
The formal semantics of an UML activity diagram
✍ Yi-zhi D. Candidate Liang; Yan-zhang Wang; Yun-fei Liu πŸ“‚ Article πŸ“… 2004 πŸ› Chinese Electronic Periodical Services 🌐 English βš– 457 KB