Skip to content

A Trusted Approach to Design a Network Monitor.

Koichi Shimizu, Teruyoshi Yamaguchi, Tsunato Nakai, Takeshi Ueda, Nobuhiro Kobayashi, Benot Boyer

VenueA*ICSE
Year2017
ProceedingsFormaliSE@ICSE

Browse the full ICSE paper archive.