Login / Signup

Formale Analyse und Verifikation von Statemate-Entwürfen (Formal Analysis and Verification of Statemate Designs).

Tom BienmüllerWerner DammJochen KloseHartmut Wittke
Published in: Informationstechnik Tech. Inform. (2001)
Keyphrases
  • formal analysis
  • formal methods
  • ban logic
  • databases
  • artificial intelligence
  • agent model
  • information systems
  • web services
  • high dimensional
  • knowledge representation