Sign in

Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor.

Cinzia BernardeschiAndrea DomeniciMaurizio PalmieriSergio SaponaraTanguy SassolasArief WicaksanaLilia Zaourar
Published in: SEFM (2020)
Keyphrases
  • control system
  • functional verification
  • cross level
  • mathematical model
  • control strategy
  • micro controller
  • high speed
  • simulation model
  • control method
  • association rules mining
  • databases
  • data mining
  • model checking