Login / Signup

Scheduling hardware/software systems using symbolic techniques.

Karsten StrehlLothar ThieleDirk ZiegenbeinRolf ErnstJürgen Teich
Published in: CODES (1999)
Keyphrases
  • hardware software
  • embedded systems
  • scheduling problem
  • distributed systems
  • hardware and software
  • management system
  • data management
  • formal methods