Model-based Generation of a Requirements Monitor.

Fabian Kneer, Erik Kamsties

Browse the full REFSQ paper archive.