Compositional schedulability analysis of real-time systems using time Petri nets Conference

Xu, DX, He, XD, Deng, Y. (2002). Compositional schedulability analysis of real-time systems using time Petri nets . IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 28(10), 984-996. 10.1109/TSE.2002.1041054

cited authors

  • Xu, DX; He, XD; Deng, Y

authors

publication date

  • October 1, 2002

published in

keywords

  • Computer Science
  • Computer Science, Software Engineering
  • Engineering
  • Engineering, Electrical & Electronic
  • SPECIFICATIONS
  • Science & Technology
  • Technology
  • reachability
  • real-time systems
  • schedulability
  • time Petri nets

Digital Object Identifier (DOI)

publisher

  • IEEE COMPUTER SOC

start page

  • 984

end page

  • 996

volume

  • 28

issue

  • 10