Describing software specification by combining SysML with the B method

Satoko Kinoshita, Hidekazu Nishimura, Hiroki Takamura, Daichi Mizuguchi

研究成果: Conference contribution

2 被引用数 (Scopus)

フィンガープリント

「Describing software specification by combining SysML with the B method」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

Engineering & Materials Science