Conference
HYASM: A Tool to Verify Hierarchical Systems
| Τίτλος: | HYASM: A Tool to Verify Hierarchical Systems |
|---|---|
| Συγγραφείς: | Ferrando, Angelo, Malvone, Vadim, Murano, Aniello, Stranieri, Silvia |
| Πηγή: | 2023 IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 2023 IEEE International Conference on. :1-6 Dec, 2023 |
| Relation: | 2023 IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
καταχωρήστε σχόλιο πρώτοι!