1
2012.
Algorithmic Computation of Strongest Postconditions of Services as Priced Timed Automata
Service-Oriented Systems (SOS) have gained importance in different application domains thanks to their ability to enable reusable functionality provided via well-defined interfaces, and the increas ...