A Trusted Approach to Design a Network Monitor - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Koichi Shimizu, Teruyoshi Yamaguchi, Tsunato Nakai, Takeshi Ueda, Nobuhiro Kobayashi, Benoît Boyer. A Trusted Approach to Design a Network Monitor. In 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27, 2017. pages 17-23, IEEE, 2017. [doi]

This author has not been identified. Look up 'Koichi Shimizu' in GoogleThis author has not been identified. Look up 'Teruyoshi Yamaguchi' in GoogleThis author has not been identified. Look up 'Tsunato Nakai' in GoogleThis author has not been identified. Look up 'Takeshi Ueda' in GoogleThis author has not been identified. Look up 'Nobuhiro Kobayashi' in GoogleThis author has not been identified. Look up 'Benoît Boyer' in Google

runs on WebDSL