![](/img/cover-not-exists.png)
[IEEE 2014 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) - Naples, Italy (2014.11.3-2014.11.6)] 2014 IEEE International Symposium on Software Reliability Engineering Workshops - Describing Software Specification by Combining SysML with the B Method
Kinoshita, Satoko, Nishimura, Hidekazu, Takamura, Hiroki, Mizuguchi, DaichiYear:
2014
Language:
english
DOI:
10.1109/ISSREW.2014.66
File:
PDF, 604 KB
english, 2014