Task Forces in the EternalS Coordination Action

We describe the scope, organization, and expected outcomes of the Task Forces of the EternalS Coordination Action. The goal of the Task Forces is to provide structure and focus to the activities pursued in EternalS while retaining essential openness to bottom-up initiatives.

• Type: Journal
• Year: 2010
• Where: ISOLA
• Authors: Reiner Hähnle
• Keywords: Essential Openness, EternalS Coordination Action, Formal Methods, ISOLA 2010, Task Forces