Antonis, Konstantinos and Voros, Nikolaos S (2010) Applying formal methods for the design of wireless telecommunication systems. In: 3rd International ICST Conference on Mobile Multimedia Communications.
![[thumbnail of 11893.pdf]](http://eprints.eai.eu/style/images/fileicons/application_pdf.png "11893.pdf")
PDF
11893.pdf
Download (702kB)
Abstract
The increasing complexity of modern telecommunication systems is one of the main issues encountered in most telecom products. Despite the plethora of methods and tools for efficient system design, verification and validation phases are still consuming significant part of the overall design time. The
| Item Type: | Conference or Workshop Item (UNSPECIFIED) |
|---|---|
| Date Deposited: | 04 Mar 2026 09:05 |
| Last Modified: | 18 Apr 2026 06:39 |
| URI: | http://eprints.eai.eu/id/eprint/3596 |
Actions (login required)
- View Item