126 search results - page 26 / 26 » Specifying and Generating Test Cases Using Observer Automata |
120
click to vote
ANOR
2008
15 years 2 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...