Your search returned 2 results.

Sort
Results
Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems by
  • Avrunin, George S
  • Corbett, James C
  • Wileden, Jack C
Source: IEEE Transactions on Software Engineering
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
The Adapic Tool Set Supporting Interface Control and Analysis ThroughoutSoftware Development Process by
  • Wolf, Alexander L
  • Clarke, Lori A
  • Wileden, Jack C
Source: IEEE Transactions on Software Engineering
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
Pages