[IEEE 2014 World Symposium on Computer Applications & Research (WSCAR) - Sousse, Tunisia (2014.1.18-2014.1.20)] 2014 World Symposium on Computer Applications & Research (WSCAR) - Event-B specification of transportation system in dynamic environment: Study of urban public Transportation system
Garoui, Mohamed; Mazigh, Belhassen; El Ayeb, Bechir; Koukam, Abderrafiaa
- 作者Garoui, Mohamed; Mazigh, Belhassen; El Ayeb, Bechir; Koukam, Abderrafiaa
- 文件大小1374.02KB
- 发表时间2014
- DOI10.1109/wscar.2014.6916804
- 页码1-6