Login / Signup

Quasi-Static Scheduling of Independent Tasksfor Reactive Systems.

Jordi CortadellaAlex KondratyevLuciano LavagnoClaudio PasseroneYosinori Watanabe
Published in: ICATPN (2002)
Keyphrases
  • reactive systems
  • quasi static
  • temporal logic
  • model checking
  • petri net
  • control flow
  • formal methods
  • displacement field
  • image analysis
  • fading channels