Search - IFIP Open Digital Library Access content directly

Filter your results

2 results
Author: personID (integer) : 999433
publicationDateY_i : 2020
Image document

Combining Machine and Automata Learning for Network Traffic Classification

Zeynab Sabahi-Kaviani , Fatemeh Ghassemi , Zahra Alimadadi
3rd International Conference on Topics in Theoretical Computer Science (TTCS), Jul 2020, Tehran, Iran. pp.17-31, ⟨10.1007/978-3-030-57852-7_2⟩
Conference papers hal-03165385v1
Image document

Formal Modeling and Analysis of Medical Systems

Mahsa Zarneshan , Fatemeh Ghassemi , Marjan Sirjani
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.386-402, ⟨10.1007/978-3-030-50029-0_24⟩
Conference papers hal-03273989v1