9 citations · 16 across the 7 of their papers we have counts for
1 paper · 1 filter
Margherita Napoli, Mimmo Parente
Recently there has been a great attention from the scientific community towards the use of the model-checking technique as a tool for test generation in the simulation field. This…