Login / Signup

Polychronous automata and their use for formal validation of AADL models.

Thierry GautierClément GuyAlexandre HonoratPaul Le GuernicJean-Pierre TalpinLoïc Besnard
Published in: Frontiers Comput. Sci. (2019)
Keyphrases
  • neural network
  • formal models
  • artificial intelligence
  • parameter estimation
  • statistical models
  • formal model
  • finite state machines
  • database
  • information retrieval
  • statistical model