We stand with Ukraine  

Kriangkrai Traichaiyaporn

According to our database1, Kriangkrai Traichaiyaporn authored at least 3 papers between 2013 and 2015.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2015
Modeling Safety Requirements of ISO26262 Using Goal Trees and Patterns.
[BibTeX]
[DOI]
Toshiaki Aoki
,
Kriangkrai Traichaiyaporn
,
Yuki Chiba
,
Masahiro Matsubara
,
Masataka Nishi
,
Fumio Narisawa
Proceedings of the Formal Techniques for Safety-Critical Systems, 2015

2013
Refinement Tree and Its Patterns: A Graphical Approach for Event-B Modeling.
[BibTeX]
[DOI]
Kriangkrai Traichaiyaporn
,
Toshiaki Aoki
Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

Preserving Correctness of Requirements Evolution through Refinement in Event-B.
[BibTeX]
[DOI]
Kriangkrai Traichaiyaporn
,
Toshiaki Aoki
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013


  Loading...