Modes. There is a wiki page[10] with details of the plug-in functionality, installation guide, and a simple example. • Papers on modal specifications [11] and [12] , and fault tolerance [13] . • Also, we are working on a medium-scale case study
Appears in 2 contracts
Sources: Grant Agreement, Grant Agreement