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 : design, modeling, and evaluation : 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised selected papers /: design, modeling, and evaluation : 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised selected papers. (2019) Editors: Chamberlain, Roger; Taha, Walid, 1972-; Törngren, Martin Other Names: CyPhy (Workshop), 7th Record Type: Book Extent: 1 online resource (x, 159 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. 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) ↗
5. 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) ↗
6. 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) ↗
7. Reachability problems : 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings /: 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings. (2018) Editors: Potapov, Igor; Reynier, Pierre-Alain Other Names: RP (Workshop), 12th Record Type: Book Extent: 1 online resource (xxi, 161 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Reachability problems : 13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019, proceedings /: 13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019, proceedings. ([2019]) Editors: Filiot, Emmanuel; Jungers, Raphaël; Potapov, Igor Other Names: RP (Workshop), 13th Record Type: Book Extent: 1 online resource (xx, 233 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗