Monthly Archives: December 2015

Working Group 3: Memorandum Description

[The following is verbatim from the MoU of the action IC1402] This group will study novel and challenging computational domains for runtime verification and monitoring that result from the study of other application areas than programming languages. The objectives of … Continue reading

Posted in Uncategorised | Comments Off on Working Group 3: Memorandum Description