Skip to main content
padlock icon - secure page this page is secure

Publisher: Taylor and Francis Ltd

More about this publication?
Volume 12, Number 4, 1 October 2000

Favourites:
ADD

Formal software development in the Verification Support Environment (VSE)
pp. 383-406(24)
Authors: Hutter, Dieter; Langenstein, Bruno; Rock, Georg; Siekmann, Jörg H.; Stephan, Werner; Vogt, Roland

Favourites:
ADD

Validation and verification of intelligent systems - what are they and how are they different?
pp. 407-420(14)
Authors: Gonzalez, Avelino J.; Barr, Valerie

Favourites:
ADD

Towards validation and refinement of rule-based systems
pp. 421-431(11)
Authors: Knauf, Rainer; Philippow, Ilka; Gonzalez, Avelino J.

Favourites:
ADD

Applying formal concepts to learning systems validation
pp. 433-445(13)
Authors: Dötsch, Volker; Grieser, Gunter; Lange, Steffen

Favourites:
ADD

Abstraction and composition: a verification method for co-operating systems
pp. 447-459(13)
Authors: Ochsenschläger, Peter; Repp, Jürgen; Rieke, Roland

Favourites:
ADD

Validation method for intelligent systems
pp. 461-472(12)
Authors: Onoyama, Takashi; Tsuruta, Setsuo

Favourites:
ADD

A case study in the mechanical verification of fault tolerance
pp. 473-487(15)
Authors: Mantel, Heiko; Gartner, Felix C.

Favourites:
ADD

  • Access Key
  • Free content
  • Partial Free content
  • New content
  • Open access content
  • Partial Open access content
  • Subscribed content
  • Partial Subscribed content
  • Free trial content
Cookie Policy
X
Cookie Policy
Ingenta Connect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more