Author Info
Name
Affiliation
Papers
NISSAF FREDJ
University of Sousse
1
Collaborators
Citations 
PageRank 
2
1
0.37
Referers 
Referees 
References 
4
53
15
Title
Citations
PageRank
Year
An event-based approach for formally verifying runtime adaptive real-time systems10.372021