| 觀看：52 次｜回覆：0 則 |
 |
||
| Name：MichaelAnorp | 16, Jun, 2024 15:57:28 | |
 |
Durham University.4MbAbstractThis thesis presents a resource based approach to model generation for performance characterization and correctness checking of large scale telecommunications networks. A notion called the timed automaton is proposed and then developed to encapsulate behaviours of networ | |
 |
||
回覆留言