Hisashi Miyazaki

According to our database¹, Hisashi Miyazaki authored at least 3 papers between 2012 and 2015.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2015

Bounded model checking of Time Petri Nets using SAT solver.

[BibT_eX]

[DOI]

IEICE Electron. Express, 2015

2013

Consistency Verification of UML Diagrams Based on Process Bisimulation.

[BibT_eX]

[DOI]

Proceedings of the IEEE 19th Pacific Rim International Symposium on Dependable Computing, 2013

2012

Synthesis and Refinement Check of Sequence Diagrams.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2012

Hisashi Miyazaki

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...