Your search returned 18 results.

Results
	1.	Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things by Marwedel, Peter [auth] Series: Embedded Systems Material type: Article; Format: available online Language: English Publication details: Springer Nature 2021 Online access: Description Availability: Items available for reference: Bucheon University Library: Not for loan (1)Call number: 004 E50. Lists: Faculty Informational Technology. Found in Open Library: Add to cart (remove)
	2.	A Journey of Embedded and Cyber-Physical Systems Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthday by Chen, Jian-Jia [edt] Chen, Jian-Jia [oth] Material type: Article; Format: available online Language: English Publication details: Springer Nature 2021 Online access: Download Description Availability: Items available for reference: Bucheon University Library: Not for loan (1)Call number: 004 A10. Lists: Faculty Informational Technology. Found in Open Library: Add to cart (remove)
	3.	Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II by Shoham, Sharon [edt] Vizel, Yakir [edt] Shoham, Sharon [oth] Vizel, Yakir [oth] Series: Lecture Notes in Computer Science ; v.13372 Material type: Article; Format: available online Language: English Publication details: Cham Springer Nature 2022 Online access: Download Description Availability: Items available for reference: Bucheon University Library: Not for loan (1)Call number: 004 L45 v.13372. Lists: Faculty Informational Technology. Found in Open Library: Add to cart (remove)
	4.	Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings by Sergey, Ilya [edt] Sergey, Ilya [oth] Series: Lecture Notes in Computer Science ; v.13240 Material type: Article; Format: available online Language: English Publication details: Cham Springer Nature 2022 Online access: Download Description Availability: Items available for reference: Bucheon University Library: Not for loan (1)Call number: 004 L45 v.13240. Lists: Faculty Informational Technology. Found in Open Library: Add to cart (remove)
	5.	Supercomputing Frontiers 6th Asian Conference, SCFA 2020, Singapore, February 24–27, 2020, Proceedings by Panda, Dhabaleswar K [edt] Panda, Dhabaleswar K [oth] Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues Material type: Article; Format: available online Language: English Publication details: Springer Nature 2020 Online access: Description Availability: Items available for reference: Bucheon University Library: Not for loan (1)Call number: 004 L45. Lists: Faculty Informational Technology. Found in Open Library: Add to cart (remove)
	6.	Dependable Embedded Systems by Henkel, Jörg [auth] Dutt, Nikil [auth] Henkel, Jörg [edt] Dutt, Nikil [edt] Henkel, Jörg [oth] Dutt, Nikil [oth] Series: Material type: Article; Format: available online Language: English Publication details: Springer Nature 2021 Online access: DOAB: download the publication DOAB: description of the publication Availability: No items available. Found in Open Library: Add to cart (remove)
	7.	Model-Based Engineering of Collaborative Embedded Systems Extensions of the SPES Methodology by Böhm, Wolfgang [edt] Broy, Manfred [edt] Klein, Cornel [edt] Pohl, Klaus [edt] Rumpe, Bernhard [edt] Schröck, Sebastian [edt] Böhm, Wolfgang [oth] Broy, Manfred [oth] Klein, Cornel [oth] Pohl, Klaus [oth] Rumpe, Bernhard [oth] Schröck, Sebastian [oth] Material type: Article; Format: available online Publication details: Springer Nature 2021 Online access: Description Availability: Items available for reference: Bucheon University Library: Not for loan (1)Call number: 004.9 M78. Lists: Faculty Informational Technology. Found in Open Library: Add to cart (remove)
	8.	Cyber-Physical Systems: A Model-Based Approach by Taha, Walid M [auth] Taha, Abd-Elhamid M [auth] Thunberg, Johan [auth] Material type: Article; Format: available online Language: English Publication details: Springer Nature 2021 Online access: Description Availability: Items available for reference: Bucheon University Library: Not for loan (1)Call number: 004.94 C98. Lists: Faculty Informational Technology. Found in Open Library: Add to cart (remove)
	9.	Fundamental Approaches to Software Engineering 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings by Johnsen, Einar Broch [edt] Wimmer, Manuel [edt] Johnsen, Einar Broch [oth] Wimmer, Manuel [oth] Series: Material type: Article; Format: available online Language: English Publication details: Cham Springer Nature 2022 Online access: OAPEN Library: download the publication OAPEN Library: description of the publication Availability: No items available. Found in Open Library: Add to cart (remove)
	10.	Discovery in Physics by Morik, Katharina [edt] Rhode, Wolfgang [edt] Morik, Katharina [oth] Rhode, Wolfgang [oth] Series: De Gruyter STEM Material type: Article; Format: available online Language: English Publication details: Berlin/Boston De Gruyter 2022 Online access: Description Availability: Items available for reference: Bucheon University Library: Not for loan (1)Call number: 004.65 D29. Lists: Faculty Informational Technology. Found in Open Library: Add to cart (remove)
	11.	Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings by Müller, Peter [edt] Müller, Peter [oth] Series: Material type: Article; Format: available online Language: English Publication details: Cham Springer Nature 2020 Online access: OAPEN Library: download the publication OAPEN Library: description of the publication Availability: No items available. Found in Open Library: Add to cart (remove)
	12.	Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings by Guerra, Esther [edt] Stoelinga, Mariëlle [edt] Guerra, Esther [oth] Stoelinga, Mariëlle [oth] Series: Material type: Article; Format: available online Language: English Publication details: Springer Nature 2021 Online access: OAPEN Library: download the publication OAPEN Library: description of the publication Availability: No items available. Found in Open Library: Add to cart (remove)
	13.	Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I by Biere, Armin [edt] Parker, David [edt] Biere, Armin [oth] Parker, David [oth] Series: Material type: Article; Format: available online Language: English Publication details: Cham Springer Nature 2020 Online access: OAPEN Library: download the publication OAPEN Library: description of the publication Availability: No items available. Found in Open Library: Add to cart (remove)
	14.	Fundamentals by Morik, Katharina [edt] Marwedel, Peter [edt] Morik, Katharina [oth] Marwedel, Peter [oth] Series: Material type: Article; Format: available online Language: English Publication details: Berlin/Boston De Gruyter 2022 Online access: DOAB: download the publication DOAB: description of the publication Availability: No items available. Found in Open Library: Add to cart (remove)
	15.	Applications by Morik, Katharina [edt] Wietfeld, Christian [edt] Rahnenführer, Jörg [edt] Morik, Katharina [oth] Wietfeld, Christian [oth] Rahnenführer, Jörg [oth] Series: De Gruyter STEM Material type: Article; Format: available online Language: English Publication details: Berlin/Boston De Gruyter 2022 Online access: Download Description Availability: Items available for reference: Bucheon University Library: Not for loan (1)Call number: 004.65 D29. Lists: Faculty Informational Technology. Found in Open Library: Add to cart (remove)
	16.	Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II by Fisman, Dana [edt] Rosu, Grigore [edt] Fisman, Dana [oth] Rosu, Grigore [oth] Series: Material type: Article; Format: available online Language: English Publication details: Cham Springer Nature 2022 Online access: OAPEN Library: download the publication OAPEN Library: description of the publication Availability: No items available. Found in Open Library: Add to cart (remove)
	17.	Trustworthiness in Mobile Cyber Physical Systems by Kang, Kyungtae [edt] Son, Junggab [edt] Suh, Hyo-Joong [edt] Kang, Kyungtae [oth] Son, Junggab [oth] Suh, Hyo-Joong [oth] Material type: Article; Format: available online Language: English Publication details: Basel, Switzerland MDPI - Multidisciplinary Digital Publishing Institute 2021 Online access: Download Description Availability: Items available for reference: Bucheon University Library: Not for loan (1)Call number: 004 T88. Lists: Faculty Informational Technology. Found in Open Library: Add to cart (remove)
	18.	Advances in Mobile Mapping Technologies by Lehtola, Ville [edt] Nüchter, Andreas [edt] Goulette, François [edt] Lehtola, Ville [oth] Nüchter, Andreas [oth] Goulette, François [oth] Material type: Article; Format: available online Language: English Publication details: Basel MDPI - Multidisciplinary Digital Publishing Institute 2022 Online access: Download Description Availability: Items available for reference: Bucheon University Library: Not for loan (1)Call number: 004.3 A20. Lists: Faculty Informational Technology. Found in Open Library: Add to cart (remove)

Report a problem