ラムラウイ シモハメド
Si-Mohamed Lamraoui
更新日: 2020/06/03
基本情報
- J-GLOBAL ID
- 201301081821616922
- researchmap会員ID
- B000228963
Software Engineering; Program Verification; Model-Checking.
経歴
1-
2012年10月 - 現在
学歴
1-
2012年10月 - 現在
受賞
1論文
6-
Proc. 15th International Workshop on Automated Verification of Critical Systems (AVoCS'15) 2015年9月 査読有り
-
電子情報通信学会ソフトウェアサイエンス研究会 2015年3月9日 2015年3月
-
CYBER PHYSICAL SYSTEMS: DESIGN, MODELING, AND EVALUATION, CYPHY 2015 9361 99-115 2015年 査読有り
-
IEICE Technical Report, SS2013-13 2013年