Search Results for Invariants. - Narrowed by: Computer science. SirsiDynix Enterprise http://katalog.baskent.edu.tr/client/en_US/default/default/qu$003dInvariants.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026ic$003dtrue$0026ps$003d300;jsessionid=CFDB1FCFEF1CBDB20CC112AAD4BCECA5? 2026-11-07T13:33:25Z Cyber-Physical Security of an Electric Microgrid ent://SD_ILS/0/SD_ILS:690868 2026-11-07T13:33:25Z 2026-11-07T13:33:25Z by&#160;Palaniswamy, Prashanth, author.<br/><a href="http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10792606">http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10792606</a><br/>Format:&#160;Books<br/> An Approach for Formal Analysis of the Security of a Water Treatment Testbed ent://SD_ILS/0/SD_ILS:689118 2026-11-07T13:33:25Z 2026-11-07T13:33:25Z by&#160;Patlolla, Sai Sidharth, author.<br/><a href="http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10752048">http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10752048</a><br/>Format:&#160;Books<br/> Block Black Box Algorithms over Small Fields ent://SD_ILS/0/SD_ILS:695990 2026-11-07T13:33:25Z 2026-11-07T13:33:25Z by&#160;Harrison, Gavin M, author. (orcid)0000-0002-6471-397X<br/><a href="http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10837260">http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10837260</a><br/>Format:&#160;Books<br/> Model-based Testing of Off-nominal Behaviors ent://SD_ILS/0/SD_ILS:688371 2026-11-07T13:33:25Z 2026-11-07T13:33:25Z by&#160;Schulze, Christoph, author. (orcid)0000-0001-9300-5641<br/><a href="http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10744363">http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10744363</a><br/>Format:&#160;Books<br/> Invariant preservation in geo-replicated data stores ent://SD_ILS/0/SD_ILS:691191 2026-11-07T13:33:25Z 2026-11-07T13:33:25Z by&#160;Sousa, Valter Balegas de, author.<br/><a href="http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10798766">http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10798766</a><br/>Format:&#160;Books<br/> Quantifying Flakiness and Minimizing Its Effects on Software Testing ent://SD_ILS/0/SD_ILS:688049 2026-11-07T13:33:25Z 2026-11-07T13:33:25Z by&#160;Gao, Zebao, author.<br/><a href="http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10641629">http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10641629</a><br/>Format:&#160;Books<br/>