Testing Reactive Systems on the Basis of Formal Specifications

Author

-------,DiamlerChrysler AG


Volume 8, Issue 4 - Serial Number 4
Transactions on Computer Science & Engineering and Electrical Engineering (D)
January 2001
  • Receive Date: 06 June 2007
  • Revise Date: 21 December 2024
  • Accept Date: 30 December 2001