Describing Software Specification by Combining SysML with the B Method.

Satoko Kinoshita, Hidekazu Nishimura, Hiroki Takamura, Daichi Mizuguchi

Browse the full ISSRE paper archive.