Search Results for International gear conference. - Narrowed by: 2014 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dInternational$002bgear$002bconference.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092014$0025092014$0026pe$003dd$00253A$0026ps$003d300?dt=list 2024-12-30T22:40:38Z International gear conference 2014 : 26th-28th August 2014, Lyon Villeurbanne, France. ent://SD_ILS/0/SD_ILS:355548 2024-12-30T22:40:38Z 2024-12-30T22:40:38Z Author&#160;International gear conference.<br/>Preferred Shelf Number&#160;ONLINE(355548.1)<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781782421948">http://www.sciencedirect.com/science/book/9781782421948</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487888 2024-12-30T22:40:38Z 2024-12-30T22:40:38Z Author&#160;Boniol, Frederic. editor.&#160;Wiels, Virginie. editor.&#160;Ait Ameur, Yamine. editor.&#160;Schewe, Klaus-Dieter. 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-07512-9">https://doi.org/10.1007/978-3-319-07512-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>