Describing software specification by combining SysML with the B method
Satoko Kinoshita, Hidekazu Nishimura, Hiroki Takamura, Daichi Mizuguchi
研究成果: Conference contribution
3
被引用数
(Scopus)