104
click to vote
ICSE
2009
IEEE-ACM
16 years 6 days ago
2009
IEEE-ACM
In this paper I will address the problem of verifying that a service-oriented embedded system fulÀlls required safety guarantees. Services will be represented by collaborations a...