Conference
A Decoupled and Automata-Based Approach for Formal Verification of MeshCoP
| Τίτλος: | A Decoupled and Automata-Based Approach for Formal Verification of MeshCoP |
|---|---|
| Συγγραφείς: | Li, Ran, Chen, Sini, Zhu, Huibiao |
| Πηγή: | 2026 29th International Conference on Computer Supported Cooperative Work in Design (CSCWD) Computer Supported Cooperative Work in Design (CSCWD), 2026 29th International Conference on. :1374-1379 May, 2026 |
| Relation: | 2026 29th International Conference on Computer Supported Cooperative Work in Design (CSCWD) |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
| ISBN: | 9798331584702 9798331584696 9798331584719 |
|---|---|
| ISSN: | 27681904 2835639X |
| DOI: | 10.1109/CSCWD68734.2026.11582163 |