Home
IJPE
Issues
Editorial
Ethics
Review Process
News/Conferences
Subscription
Contact
About
Scope
Current Issue
All Issues
Special Issues
Short Communications
Book Reviews
Editorial Board
Editorial Policy
News
Conferences
Subscribe to IJPE
Customer service
Current Issue
Accepted Papers
Archive
Feature Papers
Special Issues
ST-LUSTRE: A Novel Spatio-Temporal Language Towards Safety-Critical Cyber-Physical Systems
Jing Liu, Junyang Wang, Zhiwei Li, Haiying Sun, Yuejun Wang, Dehui Du, Xiaohong Chen, and Mingsong Chen
Int J Performability Eng . 2017, (
8
): 1219 -1232 . DOI: 10.23940/ijpe.17.08.p5.12191232