Efficient verification of distributed real-time systems with broadcasting behaviors-Reference-Cited by-同舟云学术

Efficient verification of distributed real-time systems with broadcasting behaviors

Published:2011-04-13 Issue:4 Volume:47 Page:285-318
ISSN:0922-6443
Container-title:Real-Time Systems
language:en
Short-container-title:Real-Time Syst

Author:

Wang Farn,Yao Li-Wei,Yang Ya-Lan

Publisher

Springer Science and Business Media LLC

Subject

Electrical and Electronic Engineering,Control and Optimization,Computer Networks and Communications,Computer Science Applications,Modeling and Simulation,Control and Systems Engineering

Link

http://link.springer.com/content/pdf/10.1007/s11241-011-9122-0.pdf

Reference22 articles.

1. LNCS;L Aceto,1998

2. Alur R, Courcoubetis C, Dill DL (1993) Model-checking in dense real-time. Inf Comput 104(1):2–34

3. Alur R, Dill DL (1994) A theory of timed automata. Theor Comput Sci 126:183–235

4. LNCS;J Bengtsson,1996

5. Berry G, Gonthier G (1992) The esterel synchronous programming language: design, semantics, implementation. Sci Comput Program 19:87–152

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Prediction Based QoS Management in Replicated DRTDBS;Wireless Personal Communications;2020-11-23

2. Secure System Model for Replicated DRTDBS;Security and Privacy Issues in Sensor Networks and IoT;2020

3. Improving Scalability in Replicated DRTDBS;Handling Priority Inversion in Time-Constrained Distributed Databases;2020

4. Supporting Transaction Predictability in Replicated DRTDBS;Distributed Computing and Internet Technology;2018-12-11

5. Model Checking Real-Time Systems;Handbook of Model Checking;2018