Merkliste 
 1 Ergebnisse 
 
1

RM for users' safety and security in the built environment:

, In: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution,