• English
    • svenska
  • svenska 
    • English
    • svenska
  • Logga in
Visar nyckelord 
  •   Startsida
  • Faculty of Science / Naturvetenskapliga fakulteten
  • Department of Computer Science and Engineering / Institutionen för data- och informationsteknik
  • Licentiat theses / Licentiatavhandlingar
  • Visar nyckelord
  •   Startsida
  • Faculty of Science / Naturvetenskapliga fakulteten
  • Department of Computer Science and Engineering / Institutionen för data- och informationsteknik
  • Licentiat theses / Licentiatavhandlingar
  • Visar nyckelord
JavaScript is disabled for your browser. Some features of this site may not work without it.

Visar nyckelord: "model checking"

  • 0-9
  • A
  • B
  • C
  • D
  • E
  • F
  • G
  • H
  • I
  • J
  • K
  • L
  • M
  • N
  • O
  • P
  • Q
  • R
  • S
  • T
  • U
  • V
  • W
  • X
  • Y
  • Z

Sortera efter:

Ordning:

Resultat:

Visas titlar 1-1 av 1

  • Titel
  • Publiceringsdatum
  • Inmatningsdatum
  • stigande
  • fallande
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
    • Analysing normative contracts - On the semantic gap between natural and formal languages 

      Camilleri, John J. (2015)
      Normative contracts are documents written in natural language, such as English or Swedish, which describe the permissions, obligations, and prohibitions of two or more parties over a set of actions, including descriptions ...

      DSpace software copyright © 2002-2016  DuraSpace
      gup@ub.gu.se | Teknisk hjälp
      Theme by 
      Atmire NV
       

       

      Visa

      VisaSamlingarI datumordningFörfattareTitlarNyckelordDenna samlingI datumordningFörfattareTitlarNyckelord

      Mitt konto

      Logga inRegistrera dig

      DSpace software copyright © 2002-2016  DuraSpace
      gup@ub.gu.se | Teknisk hjälp
      Theme by 
      Atmire NV