TY  - GEN
N2  - This book constitutes the refereed proceedings of the First International Conference on Systems Modelling and Management, ICSMM 2020, planned to be held in Bergen, Norway, in June 2020. Due to the COVID-19 pandemic the conference did not take place physically or virtually. The 10 full papers and 3 short papers were thoroughly reviewed and selected from 19 qualified submissions. The papers are organized according to the following topical sections: verification and validation; applications; methods, techniques and tools.
DO  - 10.1007/978-3-030-58167-1
DO  - doi
AB  - This book constitutes the refereed proceedings of the First International Conference on Systems Modelling and Management, ICSMM 2020, planned to be held in Bergen, Norway, in June 2020. Due to the COVID-19 pandemic the conference did not take place physically or virtually. The 10 full papers and 3 short papers were thoroughly reviewed and selected from 19 qualified submissions. The papers are organized according to the following topical sections: verification and validation; applications; methods, techniques and tools.
T1  - Systems Modelling and Management :First International Conference, ICSMM 2020, Bergen, Norway, June 25-26, 2020, Proceedings /
AU  - Babur, Önder.
AU  - Denil, Joachim.
AU  - Vogel-Heuser, Birgit.
ET  - 1st ed. 2020.
VL  - 1262
CN  - QA76.758
ID  - 945405
KW  - Software engineering.
KW  - Computer software.
KW  - Computer architecture.
KW  - Computer programming.
KW  - Artificial intelligence.
KW  - Microprogramming.
SN  - 3030581675
SN  - 9783030581671
TI  - Systems Modelling and Management :First International Conference, ICSMM 2020, Bergen, Norway, June 25-26, 2020, Proceedings /
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-58167-1
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-58167-1
ER  -