Author:
Pfefferl Johann,Färber Georg
Reference14 articles.
1. On development of iterative programs from function specifications;Basu;IEEE Transactions on Software Engineering,1980
2. An O(n log n) unidirectional distributed algorithm for extrema finding in a circle;Dolev;Journal of Algorithms,1982
3. Feedback Control Theory;Doyle,1992
4. An event model for deadline verification of hard real-time systems;Gresser,1993
5. Stability of feedback systems with sensor or actuator failures;Gundes;International Journal of Control,1992