Login / Signup

IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems.

Marius BozgaJean-Claude FernandezLucian GhirvuSusanne GrafJean-Pierre KrimmLaurent Mounier
Published in: World Congress on Formal Methods (1999)
Keyphrases
  • intermediate representation
  • complex systems
  • databases
  • artificial intelligence
  • computer vision
  • high level
  • database systems
  • similarity measure
  • distributed systems
  • fine grained