Han-Myung Chang

Publication Activity (10 Years)

Years Active: 1996-2019
Publications (10 Years): 1

Top Topics

Clustering Algorithm

Formal Verification

Top Venues

FM Workshops (2)

Publications

Tomohiro Oda, Keijiro Araki, Yasuhiro Yamamoto, Kumiyo Nakakoji, Hiroshi Sako, Han-Myung Chang, Peter Gorm Larsen
ViennaDoc: An Animatable and Testable Specification Documentation Tool. FM Workshops (2) (2019)
Atsushi Sawada, Masami Noro, Han-Myung Chang, Yoshinari Hachisu, Atsushi Yoshida
A Design Map for Recording Precise Architecture Decisions. APSEC (2011)
Atsushi Kumazaki, Masami Noro, Han-Myung Chang, Yoshinari Hachisu
An Application Framework for TCP/IP Applications. COMPSAC (2002)
Syouri Kouno, Han-Myung Chang, Keijiro Araki
Consistency Checking between Data and Process Diagrams Based on Formal Methods. COMPSAC (1996)