• Verifying Implementation of UM...

Treffer: Verifying Implementation of UML Sequence Diagrams Using Java PathFinder

Title:
Verifying Implementation of UML Sequence Diagrams Using Java PathFinder
Authors:
Nguyen, Dinh-Phuc, Luu, Chung-Tuyen, Truong, Anh-Hoang, Radics, Norbert
Source:
2010 Second International Conference on Knowledge and Systems Engineering Knowledge and Systems Engineering (KSE), 2010 Second International Conference on. :194-200 Oct, 2010
Relation:
2010 Second International Conference on Knowledge and Systems Engineering (KSE)
Database:
IEEE Xplore Digital Library