Analytical Tools for the Design and Verification of Safety Critical Control Systems

Publication Date

  • 2002
  • Start Page

  • 481
  • End Page

  • 490
  • Volume

  • 110
  • Issue

  • 1