Using the model checker spin for web application design

Kei Homma, Satom Izumi, Yuki Abe, Kaom Takahashi, Atsushi Togashi

研究成果: Conference contribution

7 被引用数 (Scopus)

フィンガープリント

「Using the model checker spin for web application design」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

Computer Science

Engineering

Physics

Biochemistry, Genetics and Molecular Biology