Login / Signup

Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems.

Leonardo AmorimPaulo Romero Martins MacielMeuse N. Nogueira Jr.Raimundo S. BarretoEduardo Tavares
Published in: ACM SIGSOFT Softw. Eng. Notes (2006)
Keyphrases
  • embedded systems
  • computing power
  • embedded software
  • resource limited
  • coloured petri nets
  • real time
  • low cost
  • formal verification
  • real time image processing
  • processing power