ePrints@IIScePrints@IISc Home | About | Browse | Latest Additions | Advanced Search | Contact | Help

Browse by Author

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Conference Paper
Number of items: 1.

Conference Paper

Ezudheen, P and Afzal, ZR and Prabhakar, P and D'Souza, D and D'Souza, M (2020) Verifying Band Convergence for Sampled Control Systems. In: 12th International Symposium on NASA Formal Methods, NFM 2020, 11-15, May 2020, Moffett Field; United States, pp. 329-349.

This list was generated on Thu Dec 26 21:11:29 2024 IST.
Powered by EPrints A service from The J.R.D. Tata Memorial Library Indian Institute of Science, Bengaluru-560012, India