126 search results - page 26 / 26 » Specifying and Generating Test Cases Using Observer Automata |
ANOR
2008
13 years 5 months ago
2008
Abstract We consider the problem of coordinating the operations of two supply chain partners: a foreign shipping company and a domestic port. The two partners have conflicting busi...