Event-B Modeling for Use Case Diagrams and Application in Immune System Model

التفاصيل البيبلوغرافية
العنوان: Event-B Modeling for Use Case Diagrams and Application in Immune System Model
المؤلفون: Xue-Geng, Zou, Sheng-rong, Yao, Ju-yi, Shi, Xu-qing
المصدر: 2022 7th International Conference on Computational Intelligence and Applications (ICCIA) Computational Intelligence and Applications (ICCIA), 2022 7th International Conference on. :6-10 Jun, 2022
Relation: 2022 7th International Conference on Computational Intelligence and Applications (ICCIA)
قاعدة البيانات: IEEE Xplore Digital Library
الوصف
ردمك:9781665495844
9781665484282
DOI:10.1109/ICCIA55271.2022.9828429