01644nam 2200421 450 991037577230332120230809231630.0(CKB)4100000004910424(WaSeSS)IndRDA00103569(EXLCZ)99410000000491042420180822d2017 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierHSCC '17 proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (part of CPS Week) : April 18-20, Pittsburgh, PA, USA /sponsored by ACM SIGBEDNew York :ACM,2017.1 online resource (276 pages)Includes index.1-4503-4590-5 Hybrid Systems: Computation and Control 2017Proceedings of the 20th International Conference on Hybrid Systems: Computation and ControlHSCC '17 :20th International Conference on Hybrid Systems: Computation and Control (part of CPS Week) : Pittsburgh, PA, USA, April 18-20, 2017Hybrid computersCongressesDigital control systemsCongressesCooperating objects (Computer systems)CongressesHybrid computersDigital control systemsCooperating objects (Computer systems)004.19Association for Computing Machinery.Special Interest Group on Embedded Systems,WaSeSSWaSeSSBOOK9910375772303321HSCC '171967269UNINA