IEEE - Institute of Electrical and Electronics Engineers, Inc. - Property Preservation and Composition with Guarantees: From ASSERT to CHESS

2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC)

Author(s): Vardanega, T.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 March 2009
Conference Location: Tokyo, Japan, Japan
Conference Date: 17 March 2009
Page(s): 125 - 132
ISBN (Paper): 978-0-7695-3573-9
ISSN (Paper): 1555-0885
DOI: 10.1109/ISORC.2009.19
Regular:

While the demand for high-integrity applications continuesto rise, industrial developers seek cost effectivedevelopment strategies that are capable of delivering therequired guarantees. The... View More

Advertisement