202 citations · 214 across the 7 of their papers we have counts for
1 paper · 2 filters
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…