Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Hardware and Architecture,Information Systems,Software
Reference26 articles.
1. Bosnacki D, Dams D (1998) Discrete-time Promela and spin. In: Formal techniques in real-time and fault-tolerant systems, 5th international symposium, FTRTFT’98, Lyngby, Denmark, September 14–18, 1998, proceedings, pp 307–310.
https://doi.org/10.1007/BFb0055359
2. Bosnacki D, Dams D (1998) Discrete-time Promela and spin. In: Formal techniques in real-time and fault-tolerant systems, 5th international symposium, FTRTFT’98, Lyngby, Denmark, September 14–18, 1998, proceedings, pp 307–310.
https://doi.org/10.1007/BFb0055359
3. Chen Z, Gu Y, Huang Z, Zheng J, Liu C, Liu Z (2015) Model checking aircraft controller software: a case study. Softw Pract Exper 45(7):989–1017.
https://doi.org/10.1002/spe.2242
4. Chen Z, Zhang D, Ma Y (2015) Modeling and analyzing the convergence property of the BGP routing protocol in SPIN. Telecommun Syst 58(3):205–217.
https://doi.org/10.1007/s11235-014-9870-y
5. Committee I.L.S. et al. (2011) Standard for local and metropolitan area networks-Part 16: air interface for broadband wireless access systems-amendment 3: advanced air interface. IEEE Std 16m:802
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献