Menu

Kenneth J. Turner

10 published titles

Using formal description techniques : an introduction to ESTELLE, LOTOS and SDL

(Contributor)

1 edition

  • ISBN: 0471934550
  • Wiley
  • 1993
  • Details

Extended DILL : digital logic in LOTOS

(Contributor)

1 edition

  • Dept. of Computing Science and Mathematics, University of Stirling
  • 1997
  • Details

Timed DILL : digital logic in LOTOS

(Contributor)

1 edition

  • Dept. of Computing Science and Mathematics, University of Stirling
  • 1998
  • Details

Modelling and verifying synchronous circuits in DILL

(Contributor)

1 edition

  • Dept. of Computing Science and Mathematics, University of Stirling
  • 1999
  • Details

Extending hardware description in SDL

(Contributor)

1 edition

  • Dept. of Computing Science and Mathematics, University of Stirling
  • 2000
  • Details

Service provision : technologies for next generation communications

(Contributor)

1 edition

  • ISBN: 0470850663
  • Wiley
  • 2004
  • Details

The ACCENT policy wizard

1 edition

  • Dept. of Computing Science and Mathematics, University of Stirling
  • 2005
  • Details

APPEL : the ACCENT project policy environment/language

(Contributor)

1 edition

  • Dept. of Computing Science and Mathematics, University of Stirling
  • 2005
  • Details

The ACCENT policy server

(Contributor)

1 edition

  • Dept. of Computing Science and Mathematics, University of Stirling
  • 2005
  • Details

The ACCENT policy system

1 edition

  • Computing Science and Mathematics, University of Stirling
  • 2011
  • Details

obnb.uk is a Good Stuff website.