IEEE - Institute of Electrical and Electronics Engineers, Inc. - Schedulability and safety analysis in the graphical communicating shared resources

Proceedings of WORDS'96. The Second Workshop on Object-Oriented Real-Time Dependable Systems

Author(s): Ben-Abdallah, H. ; Young Si Kim ; Lee, I.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1996
Conference Location: Laguna Beach, CA, USA
Conference Date: 1 February 1996
Page(s): 25 - 33
ISBN (Paper): 0-8186-7570-5
DOI: 10.1109/WORDS.1996.506258
Regular:

Graphical Communicating Shared Resources is a formal language for the specification and analysis of real-time systems, including their functional, temporal and resource requirements. GCSR supports... View More

Advertisement