-
1
المؤلفون: Eklöv Pettersson, Paul
المصدر: ALE. 2022(4):41-43
مصطلحات موضوعية: Vätteryd, Märta Strömberg, Rolf Petré, Historiska museet vid Lunds universitet, Institutionen för arkeologi och antikens historia, Järnålder, Neolitikum, gravfält, Humaniora och konst, Historia och arkeologi, Humanities, History and Archaeology
وصف الملف: electronic
-
2
المؤلفون: Teixeira, Pedro F., Battelino, Tadej, Carlsson, Anneli, Gudbjörnsdottir, Soffia, 1962, Hannelius, Ulf, von Herrath, Matthias, Knip, Mikael, Korsgren, Olle, Larsson, Helena Elding, Lindqvist, Anton, Ludvigsson, Johnny, Lundgren, Markus, Nowak, Christoph, Pettersson, Paul, Pociot, Flemming, Sundberg, Frida, Akesson, Karin, Lernmark, Ake, Forsander, Gun, 1951
المصدر: DIABETOLOGIA.
مصطلحات موضوعية: Endocrinology and Diabetes, Endokrinologi och diabetes, AI, Artificial intelligence, ASSET, Children, Precision medicine, Prevention, Screening, Type 1 diabetes
الوصول الحر: https://gup.ub.gu.se/publication/335283Test
-
3
المؤلفون: Teixeira, Pedro F., Battelino, Tadej, Carlsson, Anneli, Gudbjornsdottir, Soffia, Hannelius, Ulf, von Herrath, Matthias, Knip, Mikael, Korsgren, Olle, Larsson, Helena Elding, Lindqvist, Anton, Ludvigsson, Johnny, Lundgren, Markus, Nowak, Christoph, Pettersson, Paul, 1902, Pociot, Flemming, Sundberg, Frida, Akesson, Karin, Lernmark, Ake, Forsander, Gun
المصدر: Diabetologia.
مصطلحات موضوعية: AI, Artificial intelligence, ASSET, Children, Precision medicine, Prevention, Screening, Type 1 diabetes
وصف الملف: print
-
4
المؤلفون: Teixeira, Pedro F., Battelino, Tadej, Carlsson, Anneli, Gudbjornsdottir, Soffia, Hannelius, Ulf, von Herrath, Matthias, Knip, Mikael, Korsgren, Olle, Larsson, Helena Elding, Lindqvist, Anton, Ludvigsson, Johnny, Lundgren, Markus, Nowak, Christoph, Pettersson, Paul, Pociot, Flemming, Sundberg, Frida, Åkesson, Karin, Lernmark, Ake, Forsander, Gun
المصدر: Diabetologia.
مصطلحات موضوعية: AI, Artificial intelligence, ASSET, Children, Precision medicine, Prevention, Screening, Type 1 diabetes
وصف الملف: print
-
5
المؤلفون: Enoiu, Eduard Paul, Sundmark, Daniel, Causevic, Adnan, 1981, Pettersson, Paul, 1902
المصدر: ITS-EASY Post Graduate School for Embedded Software and Systems TOCSYC - Testing of Critical System Characteristics (KKS) AGENTS - Automated Generation of Tests for Simulated Software Systems (KKS) Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017. :412-417
وصف الملف: electronic
الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-34088Test
https://mdh.diva-portal.org/smash/get/diva2:1056601/FULLTEXT01.pdfTest -
6
المؤلفون: Lindström, Birgitta, Offutt, Jeff, Sundmark, Daniel, Andler, Sten F., Pettersson, Paul, 1902
المصدر: Information and Software Technology. 81:112-130
مصطلحات موضوعية: Model-based testing, Aspect-oriented model, Mutation testing
وصف الملف: electronic
الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-34018Test
https://mdh.diva-portal.org/smash/get/diva2:1051565/FULLTEXT01.pdfTest -
7
المصدر: ITS-EASY Post Graduate School for Embedded Software and Systems TOCSYC - Testing of Critical System Characteristics (KKS) AGENTS - Automated Generation of Tests for Simulated Software Systems (KKS) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Lecture Notes in Computer Science. :155-171
مصطلحات موضوعية: Engineering controlled terms: Accident prevention, Application programs, Automation, Embedded software, Fault detection, Java programming language, Model checking, Programmable logic controllers, Safety engineering, Safety testing, Standards Automated test generations, Decision coverage, Detection ability, Engineering software, Experimental evidence, Mutation analysis, Mutation operators, Uppaal model checkers Engineering main heading: Software testing
وصف الملف: electronic
الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-32886Test
https://mdh.diva-portal.org/smash/get/diva2:956195/FULLTEXT01.pdfTest -
8
المصدر: Proceedings - 2016 IEEE International Conference on Software Testing, Verification and Validation, ICST 2016. :1-11
مصطلحات موضوعية: automated test generation, controlled experiment, embedded software, manual testing, safety-critical systems, specification-based testing, Automatic test pattern generation, Automation, Embedded systems, Fault detection, Safety engineering, Safety testing, Security systems, Software engineering, Specifications, Standards, Verification, Automated test generations, Safety critical systems, Specification Based Testing, Software testing
وصف الملف: electronic
الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-33113Test
https://mdh.diva-portal.org/smash/get/diva2:967391/FULLTEXT01.pdfTest -
9
المؤلفون: Enoiu, Eduard Paul, Causevic, Adnan, Ostrand, Thomas, Weyuker, Elaine, Sundmark, Daniel, Pettersson, Paul
المصدر: ATAC - Advanced Test Automation for Complex Software-Intensive System (ITEA2/Vinnova) ITS-EASY Post Graduate School for Embedded Software and Systems International Journal on Software Tools for Technology Transfer. 18(3):335-353
مصطلحات موضوعية: test generation, model checking, automated software testing, function block diagram, safety-critical software, industrial study
وصف الملف: electronic
الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-28100Test
https://mdh.diva-portal.org/smash/get/diva2:818214/FULLTEXT01.pdfTest -
10
المؤلفون: Suryadevara, Jagadish, 1971, Sapienza, Gaetana, Seceleanu, Cristina, Seceleanu, Tiberiu, Elleveseth, Stein-Erik, Pettersson, Paul
المصدر: ARROWS Communications in Computer and Information Science, Volume 419 CCIS. :229-245
مصطلحات موضوعية: Formal Modeling, Case Study, Computer Science, datavetenskap
وصف الملف: electronic
الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-22326Test
https://mdh.diva-portal.org/smash/get/diva2:661160/FULLTEXT03.pdfTest