Logikk, informasjon og interaksjon


There has not been added a translated version of this content. You can either try searching or go to the "area" home page to see if you can find the information there

The FORMGRID project

The main objective of the FORMGRID project is to develop new techniques and software tools for diagrammatically modeling grid computing systems, and for formally verifying their correct behavior. The FORMGRID project is hosted by Bergen University College and is funded by Norwegian Research Council.

For more information, see here.