Publications

  • Category

  • Sorting

  • 8719 publications found
  • Publisher

Model-based Verification in the Development of Dependable Systems Ukjent, pp. 9 9 , 2004. Scientific article

Publisher Norsk Regnesentral
Publisher Norsk Regnesentral
Publisher Norsk Regnesentral
Publisher Norsk Regnesentral
Publisher Norsk Regnesentral

eValg i Norge - nå eller aldri? 2004. Scientific lecture

Publisher Norsk Regnesentral
Publisher Norsk Regnesentral