Real-Time System Modeling and Verification Through Labeled Transition System Analyzer

Paper Details

Real-Time System Modeling and Verification Through Labeled Transition System Analyzer

Authors

Y. Yang, Q. Zu, W. Ke, M. Zhang, X. Li

Year

2019

Venue

IEEE Access, 7: 26314-26323

Type

Journal

Abstract

Abstract information will be added from the publication database. This detail page is prepared to present the paper problem, method, contribution, and evaluation evidence once the abstract is available.

Links