10 citations · 10 across the 1 of their papers we have counts for
1 paper · 1 filter
Hafedh Zayani, Kamel Barkaoui, Rahma Ben Ayed
Communication protocols and techniques are often evaluated using simulation techniques. However, the use of formal modeling and analysis techniques for verification and evaluation…