[Contribution to a book, Contribution to a conference proceedings]
Pfeiffer, Andreas; Krempels, Karl-Heinz; Jarke, Matthias
Service-oriented Business Model Framework : A Service-dominant Logic based Approach for Business Modeling in the Digital Era
Proceedings of the 19th International Conference on Enterprise Information Systems, Volume 3 : April 26 - 29, 2017, Porto, Portugal / Editors: Slimane Hammoudi ; Michal Smialek ; Olivier Camp ; Joaquim Filipe, 361-372 (2017)
[DOI: 10.5220/0006255103610372]

[Contribution to a conference proceedings]
Quix, Christoph; Geisler, Sandra; Hai, Rihan; Alekh, Sanchit
Ontology Matching for Patent Classification
[12th International Workshop on Ontology Matching, OM-2017, 2017-10-21 - 2017-10-21, Vienna, Austria], 12 Seiten (2017)

[Contribution to a book, Contribution to a conference proceedings]
Samsel, Christian; Beutel, Markus Christian; Thulke, David; Kuck, Detlef; Krempels, Karl-Heinz
Integration of Private and Carsharing Vehicles into Intermodal Travel Information Systems
VEHITS 2017 : proceedings of the 3rd International Conference on Vehicle Technology and Intelligent Transport Systems : Porto, Portugal, April 22-24, 2017 / sponsored by INSTICC - Institute for Systems and Technologies of Information, Control and Communication ; edited by Oleg Gusikhin, Markus Helfert and António Pascoal, 312-319 (2017)
[DOI: 10.5220/0006347803120319]

[Contribution to a book, Contribution to a conference proceedings]
Beutel, Markus Christian; Borozanov, Vasil; Gökay, Sevket; Krempels, Karl-Heinz
Semi-Automated Business Process Model Matching and Merging Considering Advanced Modeling Constraints
Proceedings of the 19th International Conference on Enterprise Information Systems, Volume 1 : April 26 - 29, 2017, Porto, Portugal / Editors: Slimane Hammoudi ; Michal Smialek ; Olivier Camp ; Joaquim Filipe, 324-331 (2017)
[DOI: 10.5220/0006341603240331]

[Book]
Engels, Gregor (Editor); Plass, Christoph (Editor); Rammig, Franz-Josef (Editor); Jacumeit, Volker; Jarke, Matthias; Löwen, Ulrich; Schieferdecker, Ina; Schottenloher, Martin; Stotz, Hans Jörg; Woschni, Eugen-Georg; Zeidler, Christian; Schuh, Günther
IT-Plattformen für die Smart Service Welt : Verständnis und Handlungsfelder
acatech DISKUSSION (2017)

[Contribution to a book, Contribution to a conference proceedings]
Quix, Christoph; Chakrabarti, Arnab; Pullmann, Jaroslav; Kleff, Sebastian
Business Process Modelling for a Data Exchange Platform
Advanced Information Systems Engineering, 29th International Conference CAiSE 2017, Essen, Germany, June 12-16, 2017 - proceedings of CAiSE Forum and Doctoral Consortium papers / edited by Xavier Franch, Jolita Ralyté, Raimundas Matulevičius, Camille Salinesi, Roel Wieringa, 153-160 (2017)

[Contribution to a book, Contribution to a conference proceedings]
Jarke, Matthias
Data Spaces: Combining Goal-Driven and Data-Driven Approaches in Community Decision and Negotiation Support
Group decision and negotiation : a socio-technical perspective : 17th International Conference, GDN 2017, Stuttgart, Germany, August 14-18, 2017, proceedings / Mareike Schoop, D. Marc Kilgour (eds.), 3-14 (2017)
[DOI: 10.1007/978-3-319-63546-0_1]

[Contribution to a book, Contribution to a conference proceedings]
Chakrabarti, Arnab; Jayapal, Manasi
Data Transformation Methodologies between Heterogeneous Data Stores - A Comparative Study
DATA 2017 : proceedings of the 6th International Conference on Data Science, Technology and Applications : Madrid, Spain, July 24-26, 2017 / sponsored by INSTICC - Institute for Systems and Technologies of Information, Control and Communication ; edited by Jorge Bernardino, Christoph Quix and Joaquim Filipe, 241-248 (2017)
[DOI: 10.5220/0006438802410248]

[Contribution to a book, Contribution to a conference proceedings]
Klamma, Ralf; Arifin, Muhammad Abduh
Gamification of Web-Based Learning Services
Advances in web-based learning - ICWL 2017 : 16th International Conference, Cape Town, South Africa, September 20-22, 2017 : proceedings / Haoran Xie, Elvira Popescu, Gerhard Hancke, Baltasar Fernández Manjón (eds.), 43-48 (2017)
[DOI: 10.1007/978-3-319-66733-1_5]

[Contribution to a book, Contribution to a conference proceedings]
Klamma, Ralf; Spaniol, Marc
Community Learning Analytics Support for Audio-Visual Web-Based Learning Contents: The CIDRE Framework
Advances in web-based learning - ICWL 2017 : 16th International Conference, Cape Town, South Africa, September 20-22, 2017 : proceedings / Haoran Xie, Elvira Popescu, Gerhard Hancke, Baltasar Fernández Manjón (eds.), 82-87 (2017)
[DOI: 10.1007/978-3-319-66733-1_9]

[Contribution to a book, Contribution to a conference proceedings]
Shahriari, Mohsen; Barth, Martin; Klamma, Ralf; Trattner, Christoph
TCNSVD: A Temporal and Community-Aware Recommender Approach
Temporal reasoning in recommender systems : RecTemp 2017 : proceedings of the 1st Workshop on Temporal Reasoning in Recommender Systems, co-located with 11th International Conference on Recommender Systems (RecSys 2017) : Como, Italy, August 27-31, 2017 / edited by Maria Bielikova (Slovak University of Technology in Bratislava, Slovakia), Veronika Bogina (University of Haifa, Israel), Tsvi Kuflik (University of Haifa, Israel), Roy Sasson (Google and Tel-Aviv University, Israel), 21-27 (2017)

[Contribution to a book, Contribution to a conference proceedings]
de Lange, Peter; Nicolaescu, Petru; Klamma, Ralf
VIRTUS Virtual VET Centre (V3C): A Learning Platform for Virtual Vocational Education and Training
Data driven approaches in digital education : 12th European Conference on Technology Enhanced Learning, EC-TEL 2017 : Tallinn, Estonia, September 12-15, 2017 : proceedings / Élise Lavoué, Hendrik Drachsler, Katrien Verbert, Julien Broisin, Mar Pérez-Sanagustín (eds.), 500-503 (2017)
[DOI: 10.1007/978-3-319-66610-5_49]

[Contribution to a book, Contribution to a conference proceedings]
Ohler, Fabian Georg; Krempels, Karl-Heinz; Möbus, Sandra
Forecasting Public Transportation Capacity Utilisation Considering External Factors
VEHITS 2017 : proceedings of the 3rd International Conference on Vehicle Technology and Intelligent Transport Systems : Porto, Portugal, April 22-24, 2017 / sponsored by INSTICC - Institute for Systems and Technologies of Information, Control and Communication ; edited by Oleg Gusikhin, Markus Helfert and António Pascoal, 300-311 (2017)
[DOI: 10.5220/0006345703000311]

[Contribution to a book, Contribution to a conference proceedings]
de Lange, Peter; Nicolaescu, Petru; Klamma, Ralf; Jarke, Matthias
Engineering Web Applications Using Real-Time Collaborative Modeling
Collaboration and Technology : 23rd International Conference, CRIWG 2017, Saskatoon, SK, Canada, August 9-11, 2017, Proceedings / edited by Carl Gutwin, Sergio F. Ochoa, Julita Vassileva, Tomoo Inoue, 213-228 (2017)
[DOI: 10.1007/978-3-319-63874-4_16]

[Contribution to a book, Contribution to a conference proceedings]
Heitmann, Benjamin; Hermsen, Felix; Decker, Stefan Josef
k-RDF-Neighbourhood Anonymity: Combining Structural and Attribute-Based Anonymisation for Linked Data
PrivOn 2017 : Society, Privacy and the Semantic Web - Policy and Technology : Proceedings of the 5th Workshop on Society, Privacy and the Semantic Web - Policy and Technology (PrivOn2017), Vienna, Austria, October 22, 2017 / Edited by Christopher Brewster, TNO, Amsterdam, Michelle Cheatham, Wright State University, USA, Mathieu d'Aquin, Insight Centre for Data Analytics, NUI Galway, Ireland, tefan Decker, RWTH Aachen University, Germany, Sabrina Kirrane, Vienna University of Economics and Business, Austria, 16 Seiten (2017)

[Contribution to a book, Contribution to a conference proceedings]
Gökay, Sevket; Heuvels, Andreas; Rogner, Robin; Krempels, Karl-Heinz
Implementation and Evaluation of an On-Demand Bus System
VEHITS 2017 : proceedings of the 3rd International Conference on Vehicle Technology and Intelligent Transport Systems : Porto, Portugal, April 22-24, 2017 / sponsored by INSTICC - Institute for Systems and Technologies of Information, Control and Communication ; edited by Oleg Gusikhin, Markus Helfert and António Pascoal, 217-227 (2017)
[DOI: 10.5220/0006300102170227]

[Contribution to a book, Contribution to a conference proceedings]
Deserno, Thomas; Haak, Daniel; Harmsen, Markus; Geisler, Sandra; Jarke, Matthias
A presentation semantic for the operational data model (ODM)
4th IEEE EMBS International Conference on Biomedical and Health Informatics / IEEE, EMB ; conference co-chairs: Stephen Wong (Houston Methodist Hospital, Weill Cornell Medicine, USA), May Dongmei Wang (Georgia Institute of Technology and Emory University, USA), Andrew Laine (Columbia University, USA) ; associate editors: Dimitrios I. Fotiadis (University of Ioannina) [und 24 weitere], 477-480 (2017)
[DOI: 10.1109/BHI.2017.7897309]

[Contribution to a book, Contribution to a conference proceedings]
Koren, István; Klamma, Ralf
Community Learning Analytics with Industry 4.0 and Wearable Sensor Data
Immersive learning research network : third international conference, iLRN 2017, Coimbra, Portugal, June 26-29, 2017 : proceedings / Dennis Beck, Colin Allison, Leonel Morgado, Johanna Pirker, Foaad Khosmood, Jonathon Richter [und 1 anderer], 142-151 (2017)
[DOI: 10.1007/978-3-319-60633-0_12]

[Contribution to a book, Contribution to a conference proceedings]
de Lange, Peter; Göschlberger, Bernhard; Frey, Tracie Farrell; Klamma, Ralf
Transferring a Question-Based Dialog Framework to a Distributed Architecture
Data driven approaches in digital education : 12th European Conference on Technology Enhanced Learning, EC-TEL 2017 : Tallinn, Estonia, September 12-15, 2017 : proceedings / Élise Lavoué, Hendrik Drachsler, Katrien Verbert, Julien Broisin, Mar Pérez-Sanagustín (eds.), 549-551 (2017)
[DOI: 10.1007/978-3-319-66610-5_60]

[Contribution to a book, Contribution to a conference proceedings]
Geisler, Sandra; Quix, Christoph; Hai, Rihan; Alekh, Sanchit
An Integrated Ontology-Based Approach for Patent Classification in Medical Engineering
Data Integration in the Life Sciences : 12th International Conference, DILS 2017, Luxembourg, Luxembourg, November 14-15, 2017, Proceedings / edited by Marcos Da Silveira, Cédric Pruski, Reinhard Schneider, 38-52 (2017)
[DOI: 10.1007/978-3-319-69751-2_5]

[Contribution to a book, Contribution to a conference proceedings]
de Lange, Peter; Shahriari, Mohsen; Klamma, Ralf
Einführung in das wissenschaftliche Arbeiten und Publizieren mittels Blended Learning in der informatischen Fachdidaktik
DeLFI 2017 - Bildungsräume : Tagung vom 5. bis 8. September 2017 in Chemnitz / Christoph Igel, Carsten Ullrich, Martin Wessner (Hrsg.), 385-386 (2017)

[Contribution to a book]
Jarke, Matthias; Quix, Christoph
On Warehouses, Lakes, and Spaces : the Changing Role of Conceptual Modeling for Data Integration
Conceptual modeling perspectives / edited by Jordi Cabot, Cristina Gómez, Oscar Pastor, Maria Ribera Sancho, Ernest Teniente, 231-245 (2017)
[DOI: 10.1007/978-3-319-67271-7_16]

[Contribution to a book]
Shahriari, Mohsen; Li, Ying; Klamma, Ralf
The Significant Effect of Overlapping Community Structures in Signed Social Networks
Prediction and Inference from Social Networks and Social Media / edited by Jalal Kawash, Nitin Agarwal, Tansel Özyer, 51-84 (2017)
[DOI: 10.1007/978-3-319-51049-1_3]

[Contribution to a book, Contribution to a conference proceedings]
Schroeder, Ulrik; Schwill, Andreas
Hochschuldidaktik der Informatik - 7,5. HDI-Workshop des GI-Fachbereichs Informatik und Ausbildung / Didaktik der Informatik
Informatik 2017 : 25.-29. September 2017, Chemnitz : proceedings / Maximilian Eibl, Martin Gaedke (Hrsg.), 233 (2017)
[DOI: 10.18420/in2017_16]

[Contribution to a book, Contribution to a conference proceedings]
Pollok, Falk; Schroeder, Ulrik; Chatti, Mohamed Amine
PalmQA: Ein Frage-Antwort-Ensemble für selbstgesteuertes Lernen
Bildungsräume : DeLFI 2017 - die 15. e-Learning Fachtagung Informatik der Gesellschaft für Informatik, 5. bis 8. September 2017, Chemnitz / Christoph Igel, Carsten Ullrich, Martin Wessner (Hrsg.), 51-62 (2017)

[Contribution to a book, Contribution to a conference proceedings]
Lukarov, Vlatko; Schroeder, Ulrik
Analytics Prototype for Data Driven Decision Making for Blended Learning Strategies in HEI
DeLFI 2017 - Bildungsräume : Tagung vom 5. bis 8. September 2017 in Chemnitz / Christoph Igel, Carsten Ullrich, Martin Wessner (Hrsg.), 239-248 (2017)

[Contribution to a book, Contribution to a conference proceedings]
Lukarov, Vlatko; Schroeder, Ulrik
AiX-Analytics: analytics tool at RWTH Aachen University
DeLFI 2017 - Bildungsräume : Tagung vom 5. bis 8. September 2017 in Chemnitz / Christoph Igel, Carsten Ullrich, Martin Wessner (Hrsg.), 393-394 (2017)

[Contribution to a book, Contribution to a conference proceedings]
Noichl, Svenja; Bergner, Nadine; Schroeder, Ulrik
Zielgruppengerechte App-Icons für Seniorinnen und Senioren
Bildungsräume : DeLFI 2017 - die 15. e-Learning Fachtagung Informatik der Gesellschaft für Informatik, 5. bis 8. September 2017, Chemnitz / Christoph Igel, Carsten Ullrich, Martin Wessner (Hrsg.), 117-123 (2017)

[Contribution to a conference proceedings]
Noichl, Svenja; Bergner, Nadine; Schroeder, Ulrik
Apps für Seniorinnen und Senioren anpassen mittels spezifischer Tastaturen und Menüeinstellungen
Mensch und Computer 2017 : Workshopband / Manuel Burghardt, Raphael Wimmer, Christian Wolff, Christa Womser-Hacker (Hrsg.), 585-590 (2017)
[DOI: 10.18420/MUC2017-WS17-0412]

[Book, Proceedings]
Bodlaender, Hans L. (Editor); Woeginger, Gerhard (Editor)
Graph-theoretic concepts in computer sciene : 43rd International Workshop, WG 2017, Eindhoven, The Netherlands, June 21-23, 2017 : revised selected papers
Lecture Notes in Computer Science 10520 (2017)
[DOI: 10.1007/978-3-319-68705-6]

[Contribution to a book, Contribution to a conference proceedings]
Pieterse, Astrid; Woeginger, Gerhard
The Subset Sum Game Revisited
Algorithmic decision theory : 5th International Conference, ADT 2017, Luxembourg, Luxembourg, October 25-27, 2017 : proceedings / Jörg Rothe (ed.), 228-240 (2017)
[DOI: 10.1007/978-3-319-67504-6_16]

[Contribution to a book, Contribution to a conference proceedings]
Kaminski, Benjamin Lucien; Katoen, Joost-Pieter
A Weakest Pre-Expectation Semantics for Mixed-Sign Expectations
32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12 (2017)
[DOI: 10.1109/LICS.2017.8005153]

[Preprint]
Dehnert, Christian; Junges, Sebastian; Katoen, Joost-Pieter; Volk, Matthias
A storm is Coming: A Modern Probabilistic Model Checker
(2017)

[Journal Article]
Bruintjes, Harold Yorick; Katoen, Joost-Pieter
Missie: foutvrije software in de ruimte
Bits en Chips, 1, 38-39 (2017)

[Contribution to a book, Contribution to a conference proceedings]
Dehnert, Hans Christian; Junges, Sebastian; Katoen, Joost-Pieter; Volk, Matthias
A Storm is Coming: A Modern Probabilistic Model Checker
Computer aided verification : 29th International Conference, CAV 2017 : Heidelberg, Germany, July 24-28, 2017 : proceedings / Rupak Majumdar, Viktor Kunčak (eds.). - Part 2, 592-600 (2017)
[DOI: 10.1007/978-3-319-63390-9_31]

[Contribution to a book, Contribution to a conference proceedings]
Jansen, Christina; Katelaan, Jens; Matheja, Christoph; Noll, Thomas; Zuleger, Florian
Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic
Programming languages and systems : 26th European Symposium on Programming, ESOP 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings / Hongseok Yang (ed.), 611-638 (2017)
[DOI: 10.1007/978-3-662-54434-1_23]

[Contribution to a conference proceedings]
Wachtmeister, Louis; Noll, Thomas
Analysing Cryptographically-Masked Information Flows in MILS-AADL Specifications
[embeddedworld Exibition & Conference, 2017-03-14 - 2017-03-16, Nuremberg, Germany], 5 Seiten (2017)
[DOI: 10.5281/zenodo.571173]

[Contribution to a book, Contribution to a conference proceedings]
Cubuktepe, Murat; Jansen, Nils; Junges, Sebastian; Katoen, Joost-Pieter; Papusha, Ivan; Poonawala, Hasan A.; Topcu, Ufuk
Sequential Convex Programming for the Efficient Verification of Parametric MDPs
Tools and algorithms for the construction and analysis of systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings / Axel Legay, Tiziana Margaria (eds.). - Part 2, 133-150 (2017)
[DOI: 10.1007/978-3-662-54580-5_8]

[Contribution to a book, Contribution to a conference proceedings]
Budde, Carlos E.; Dehnert, Hans Christian; Hahn, E. Moritz; Hartmanns, Arnd; Junges, Sebastian; Turrini, Andrea
JANI: Quantitative Model and Tool Interaction
Tools and algorithms for the construction and analysis of systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings / Axel Legay, Tiziana Margaria (eds.). - Part 2, 151-168 (2017)
[DOI: 10.1007/978-3-662-54580-5_9]

[Contribution to a book, Contribution to a conference proceedings]
Quatmann, Tim; Junges, Sebastian; Katoen, Joost-Pieter
Markov Automata with Multiple Objectives
Computer aided verification : 29th International Conference, CAV 2017 : Heidelberg, Germany, July 24-28, 2017 : proceedings / Rupak Majumdar, Viktor Kunčak (eds.). - Part 1, 140-159 (2017)
[DOI: 10.1007/978-3-319-63387-9_7]

[Contribution to a book, Contribution to a conference proceedings]
Müller, Sascha; Gerndt, Andreas; Noll, Thomas
Synthesizing FDIR Recovery Strategies from Non-Deterministic Dynamic Fault Trees
AIAA Space and Astronautics Forum and Exposition 2017 : Orlando, Florida, USA, 12-14 September 2017 / American Institute of Aeronautics and Astronautics. - Volume 2, 1140-1149 (2017)
[DOI: 10.2514/6.2017-5163]

[Conference Presentation]
Bozzano, Marco; Bruintjes, Harold Yorick; Cimatti, Alessandro; Katoen, Joost-Pieter; Noll, Thomas; Tonetta, Stefano
The COMPASS 3.0 Toolset
5th International Symposium on Model Based Safety Assessment Trento 2017-09-11 - 2017-09-13 (2017)

[Contribution to a book, Contribution to a conference proceedings]
Ghadhab, Majdi; Junges, Sebastian; Katoen, Joost-Pieter; Kuntz, Matthias; Volk, Matthias
Model-based Safety Analysis for Vehicle Guidance Systems
Computer safety, reliability, and security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017 : proceedings / Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch (eds.), 3-19 (2017)
[DOI: 10.1007/978-3-319-66266-4_1]

[Contribution to a book, Contribution to a conference proceedings]
Aflaki, Saba; Volk, Matthias; Bonakdarpour, Borzoo; Katoen, Joost-Pieter; Storjohann, Arne
Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms
2017 IEEE 36th International Symposium on Reliable Distributed Systems : SRDS 2017 : 26-29 September 2017, Hong Kong : proceedings / sponsored by: IEEE, IEEE Computer Society, Technical Committee on Distributed Processing (TCDP) ; organized by The Hong Kong Polytechnic University, Department of Computing ; symposium general co-chairs: Jiannong Cao (The Hong Kong Polytechnic University, Hong Kong), Michael R. Lyu (The Chinese University of Hong Kong, Hong Kong), 94-103 (2017)
[DOI: 10.1109/SRDS.2017.22]

[Contribution to a book, Contribution to a conference proceedings]
Winterer, Leonore; Junges, Sebastian; Wimmer, Ralf; Jansen, Nils; Topcu, Ufuk; Katoen, Joost-Pieter; Becker, Bernd
Motion planning under partial observability using game-based abstraction
2017 IEEE 56th Annual Conference on Decision and Control (CDC) : December 12-15, 2017, Melbourne, Australia, 2201-2208 (2017)
[DOI: 10.1109/CDC.2017.8263971]

[Contribution to a book, Contribution to a conference proceedings]
Katoen, Joost-Pieter; Sher, Falak
Modal Stochastic Games : Abstraction-Refinement of Probabilistic Automata
Models, algorithms, logics and tools : essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th birthday / Luca Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ingólfsdóttir, Axel Legay, Radu Mardare (eds.), 426-448 (2017)
[DOI: 10.1007/978-3-319-63121-9_21]

[Contribution to a book]
Katoen, Joost-Pieter; Stoelinga, Marielle
Boosting Fault Tree Analysis by Formal Methods
ModelEd, TestEd, TrustEd : essays dedicated to Ed Brinksma on the occassion of his 60th birthday / Joost-Pieter Katoen, Rom Langerak, Arend Rensink (eds.), 368-389 (2017)
[DOI: 10.1007/978-3-319-68270-9_19]

[Abstract, Contribution to a book, Contribution to a conference proceedings]
Katoen, Joost-Pieter
Tweaking The Odds: Parameter Synthesis in Markov Models (Abstract)
Theoretical Aspects of Computing - ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, proceedings / edited by Dang Van Hung, Deepak Kapur, [XVI]-XVII (2017)

[Book]
Katoen, Joost-Pieter; Langerak, Rom; Rensink, Arend
ModelEd, TestEd, TrustEd : essays dedicated to Ed Brinksma on the occassion of his 60th birthday
Lecture notes in computer science 10500 (2017)
[DOI: 10.1007/978-3-319-68270-9]

[Contribution to a book]
Bozzano, Marco; Bruintjes, Harold Yorick; Cimatti, Alessandro; Katoen, Joost-Pieter; Noll, Thomas; Tonetta, Stefano
Formal Methods for Aerospace Systems : Achievements and Challenges
Cyber-Physical System Design from an Architecture Analysis Viewpoint : Communications of NII Shonan Meetings / edited by Shin Nakajima, Jean-Pierre Talpin, Masumi Toyoshima, Huafeng Yu, 133-159 (2017)
[DOI: 10.1007/978-981-10-4436-6_6]