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 |
καταχωρήστε σχόλιο πρώτοι!