Login / Signup

Improving formal analysis of state machines with particular emphasis on and-cross transitions.

Opeyemi O. AdesinaTimothy C. LethbridgeStéphane S. SoméVahdat AbdelzadAlvine Boaye Belle
Published in: Comput. Lang. Syst. Struct. (2018)
Keyphrases
  • formal analysis
  • state machines
  • state machine
  • petri net
  • formal methods
  • recurrent networks
  • agent model
  • ban logic
  • fault tolerant
  • neural network
  • knowledge representation