Kriangkrai Traichaiyaporn

Publication Activity (10 Years)

Years Active: 2013-2015
Publications (10 Years): 1

Top Topics

Index Structure

Similar Patterns

Application Specific

Top Venues

Publications

Toshiaki Aoki, Kriangkrai Traichaiyaporn, Yuki Chiba, Masahiro Matsubara, Masataka Nishi, Fumio Narisawa
Modeling Safety Requirements of ISO26262 Using Goal Trees and Patterns. FTSCS (2015)
Kriangkrai Traichaiyaporn, Toshiaki Aoki
Refinement Tree and Its Patterns: A Graphical Approach for Event-B Modeling. FTSCS (2013)
Kriangkrai Traichaiyaporn, Toshiaki Aoki
Preserving Correctness of Requirements Evolution through Refinement in Event-B. APSEC (1) (2013)