Old Web
English
Sign In
Acemap
>
Paper
>
An Introduction of A Formal Method in PBL : A Case Report
An Introduction of A Formal Method in PBL : A Case Report
2011
Shinya Yamada
Tomohiro Iwamoto
Tsunayuki Shinozawa
Mitsuhide Honda
Ryo Miyashita
Takashi Iwasaki
Yasuo Inoue
Keijiro Araki
Shigeru Kusakabe
Yoichi Omori
Keywords:
Formal methods
Systems engineering
Computer science
Software engineering
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
1
Citations
NaN
KQI
[]