2007
On Resource-Sensitive Timed Component Connectors
Publication
Publication
Presented at the
IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems, Paphos, Cyprus
| Additional Metadata | |
|---|---|
| Springer | |
| M.M. Bonsangue (Marcello) , E.B. Johnsen (Einar Broch) | |
| Lecture Notes in Computer Science | |
| Coordination With Performance Guarantees | |
| IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems | |
| Organisation | Computer Security |
|
Sun, M., & Arbab, F. (2007). On Resource-Sensitive Timed Component Connectors. In M. Bonsangue & E. B. Johnsen (Eds.), Formal Methods for Open Object-Based Distributed Systems (pp. 301–316). Springer. |
|