1. Cyber physical systems : design, modeling, and evaluation : 5th International Workshop, CyPhy 2015, Amsterdam, the Netherlands, October 8, 2015 : proceedings /: design, modeling, and evaluation : 5th International Workshop, CyPhy 2015, Amsterdam, the Netherlands, October 8, 2015 : proceedings. ([2015]) Editors: Berger, Christian; Mousavi, Mohammad Reza, 1978- Other Names: CyPhy (Workshop), 5th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Cyber physical systems : design, modeling, and evaluation : 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised selected papers /: design, modeling, and evaluation : 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised selected papers. (2017) Editors: (Professor of Software Engineering), Berger, Christian; Mousavi, Mohammad Reza, 1978-; Wisniewski, Rafael Other Names: CyPhy (Workshop), 6th Record Type: Book Extent: 1 online resource (xi, 127 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Cyber Physical Systems : model-based design : 9th International Workshop, Cyphy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers /: model-based design : 9th International Workshop, Cyphy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers. (2020) Other Names: Chamberlain, Roger; Grimheden, Martin Edin; Taha, Walid, 1972-; CyPhy (Workshop), 9th; Workshop on Embedded and Cyber-Physical Systems Education, 15th Record Type: Book Extent: 1 online resource (289 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Formal system verification : state-of the-art and future trends /: state-of the-art and future trends. ([2018]) Editors: Drechsler, Rolf Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Open Source Identity Management Patterns and Practices Using OpenAM 10.x. (2013) Other Names: Kenning, Waylon Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Reachability problems : 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, proceedings /: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, proceedings. (2016) Editors: Larsen, K. G (Kim G.), 1957-; Potapov, Igor; Srba, Jiří Other Names: RP (Workshop), 10th Record Type: Book Extent: 1 online resource (xiv, 193 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Reachability problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings /: 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings. (2017) Editors: Hague, Matthew; Potapov, Igor Other Names: RP (Workshop), 11th Record Type: Book Extent: 1 online resource (xv, 193 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Reconfigurable system design and verification. (2018) Other Names: Hsiung, Pao-Ann; Santambrogio, Marco D (Marco Domenico); Huang, Chun-Hsian Record Type: Book Extent: 1 online resource (268 pages), (22 illustrations) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Reconfigurable system design and verification. (©2009) Other Names: Hsiung, Pao-Ann; Santambrogio, Marco D (Marco Domenico); Huang, Chun-Hsian Record Type: Book Extent: 1 online resource (268 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Semi-physical verification technology for dynamic performance of internet of things system. ([2019]) Authors: Yu, Xiaolei; Wang, Donghua; Zhao, Zhimin Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗