Merkliste 
 1 Ergebnisse 
 
1

ArchTacRV: Detecting and Runtime Verifying Architectural Ta..:

, In: 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER),
Ge, Ning ; Wang, Ze ; Zhang, Li... - p. 566-576 , 2022