Timeout Order Abstraction for Time-Parametric Verification of Loosely Synchronized Real-Time Distributed Systems

Timeout Order Abstraction for Time-Parametric Verification of Loosely Synchronized Real-Time Distributed Systems

URL to paper listed on conference site.

Bibliographic Details
Main Authors: Umeno, Shinya (Contributor), Lynch, Nancy Ann (Contributor)
Other Authors: Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science (Contributor)
Format: Article
Language:English
Published: Artist Consortium, 2011-12-19T21:17:47Z.
Subjects:
Article
Online Access:Get fulltext

Internet

Get fulltext

Similar Items