Editorial: Software survey section
- 期刊名称Neuroscience
- 作者Zhu, Haidong; Chao, Julie; Kotak, Ishita; Guo, Dehuang; Parikh, Samip J.; Bhagatwala, Jigar; Dong, Yutong; Patel, Sagar Y.; Houk, Chris; Chao, Lee; Dong, Yanbin
- 卷第17卷
- 期第4期
- 印刷ISSN0306-4522
- 文件大小103.57KB
- 发表时间1986-4
- DOI10.1016/0306-4522(86)90098-9
[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 systemGaroui, Mohamed; Mazigh, Belhassen; El Ayeb, Bechir; Koukam, Abderrafiaa · 2014
[IEEE 2015 16th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD) - Takamatsu, Japan (2015.6.1-2015.6.3)] 2015 IEEE/ACIS 16th International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD) - The EventB2PN Tool: From Event-B specification to Petri Nets through model transformationGaroui, Mohamed; Mazigh, Belhassen; Koukam, Abderrafiaa · 2015
Towards Fingerprinting Malicious TrafficBoukhtouta, Amine; Lakhdari, Nour-Eddine; Mokhov, Serguei A.; Debbabi, Mourad · Procedia Computer Science · 2013
ContentsProcedia Computer Science · 2012
Robust Optimization of System DesignShindin, Evgeny; Boni, Odellia; Masin, Michael · Procedia Computer Science · 2014
Part III: Healthcare SystemsLand, Walker H. · Procedia Computer Science · 2013
Author IndexProcedia Computer Science · 2013
Title PageProcedia Computer Science · 2013
Kepler for ‘Omics BioinformaticsBieda, Mark · Procedia Computer Science · 2012
Planning for Resilient Lean ProgramsSecor, Deborah; Lucae, Sebastian; Rebentisch, Eric · Procedia Computer Science · 2014