Title: Verifying stability of dynamic soft-computing systems
First published: 1997
Subjects: Stability, Proving, Computers, Algorithms, Systems analysis