Your search returned 5 results.

Results
	1.	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)
	2.	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)
	3.	Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405 by Ulidowski, Irek [edt] Lanese, Ivan [edt] Schultz, Ulrik Pagh [edt] Ferreira, Carla [edt] Ulidowski, Irek [oth] Lanese, Ivan [oth] Schultz, Ulrik Pagh [oth] Ferreira, Carla [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)
	4.	Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems by Carreira, Paulo [edt] Amaral, Vasco [edt] Vangheluwe, Hans [edt] Carreira, Paulo [oth] Amaral, Vasco [oth] Vangheluwe, Hans [oth] Material type: Article; Format: available online Language: English Publication details: Cham Springer Nature 2020 Online access: Download Description Availability: Items available for reference: Bucheon University Library: Not for loan (1). Lists: Faculty Informational Technology. Found in Open Library: Add to cart (remove)
	5.	The Once-Only Principle The TOOP Project by Krimmer, Robert [edt] Prentza, Andriana [edt] Mamrot, Szymon [edt] Krimmer, Robert [oth] Prentza, Andriana [oth] Mamrot, Szymon [oth] Series: Lecture Notes in Computer Science; Information Systems and Applications, incl. Internet/Web, and HCI 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.418 L45. Lists: Faculty Informational Technology. Found in Open Library: Add to cart (remove)

Report a problem