Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams.

Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, Koichi Takahashi

Browse the full ICSEA paper archive.