TESEM: A tool for verifying security design pattern applications by model testing

Takanori Kobashi, Masatoshi Yoshizawa, Hironori Washizaki, Yoshiaki Fukazawa, Nobukazu Yoshioka, Takano Okubo, Haruhiko Kaiya

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Citations (Scopus)

Fingerprint

Dive into the research topics of 'TESEM: A tool for verifying security design pattern applications by model testing'. Together they form a unique fingerprint.

Engineering & Materials Science