Search for persons
X
?
Runtime Verification; Lecture Notes in Computer Science ,
9
Efficient System Verification with Multiple Weakly-Hard Con..:
, In:
?
Lecture Notes in Electrical Engineering; Nuclear Power Plants: Innovative Technologies for Instrumentation and Control Systems ,
10