Satoko Kinoshita, Hidekazu Nishimura, Hiroki Takamura, Daichi Mizuguchi. Describing Software Specification by Combining SysML with the B Method. In 25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Naples, Italy, November 3-6, 2014. pages 146-151, IEEE, 2014. [doi]
Abstract is missing.