Author:
Ahmad Muhammad,Hasan Osman
Publisher
Springer International Publishing
Reference22 articles.
1. Clayton, P., Cavalcanti, A., O’Halloran, C.: From Control Law Diagrams to Ada via Circus. Formal Aspects of Computing 23(4), 465–512 (2011)
2. Ahmad, M.: Formal Verification of Steady State Errors in Unity-Feedback Control Systems (2014),
http://save.seecs.nust.edu.pk/students/ahmad/sseufcs.html
3. Alur, R.: Formal Verification of Hybrid Systems. In: Embedded Software, pp. 273–278 (2011)
4. Arthan, R., Caseley, P., O’Halloran, C., Smith, A.: ClawZ: Control Laws in Z. In: Formal Engineering Methods, pp. 169–176 (2000)
5. Lecture Notes in Computer Science;R.J. Boulton,2004
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献