• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

An Approach to Literate and Structured Formal Developments.

Martin SimonsMatthias Weber
Published in: Formal Aspects Comput. (1996)
Keyphrases
  • artificial intelligence
  • structured data
  • paradigm shift
  • real world
  • formal model
  • formal methods
  • real time
  • multimedia
  • website
  • decision trees
  • objective function
  • probabilistic model
  • logic programming
  • formal analysis