Search Results for Case method. - Narrowed by: Electronic circuits. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dCase$002bmethod.$0026qf$003dSUBJECT$002509Subject$002509Electronic$002bcircuits.$002509Electronic$002bcircuits.$0026ps$003d300?dt=list 2026-04-03T15:47:38Z Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach ent://SD_ILS/0/SD_ILS:616485 2026-04-03T15:47:38Z 2026-04-03T15:47:38Z Author&#160;Zhan, Naijun. author.&#160;Wang, Shuling. author. (orcid)0000-0002-2798-2660&#160;Zhao, Hengjun. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-47016-0">https://doi.org/10.1007/978-3-319-47016-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Motion and Operation Planning of Robotic Systems Background and Practical Approaches ent://SD_ILS/0/SD_ILS:530384 2026-04-03T15:47:38Z 2026-04-03T15:47:38Z Author&#160;Carbone, Giuseppe. editor.&#160;Gomez-Bravo, Fernando. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-14705-5">https://doi.org/10.1007/978-3-319-14705-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>