Search

New Search Subject Computer systems -- Verification
Title Journal Article Date
10 20 50 100
1 - 10 of 10

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)

Limit your search

Enter a search term or select another filter before applying a date range.

more »

more »