Sign in

Modeling FlexRay macrotick generation process using Coloured Petri Nets.

Hana MejdiSalem Hasnaoui
Published in: IWCMC (2018)
Keyphrases
  • generation process
  • coloured petri nets
  • communication protocol
  • safety critical
  • agent architecture
  • formal verification
  • learning environment
  • user interface
  • intelligent systems
  • embedded systems