-
1دورية أكاديمية
مصطلحات موضوعية: Model-based testing, Aspect-oriented model, Mutation testing, Electrical Engineering, Electronic Engineering, Information Engineering, Elektroteknik och elektronik
وصف الملف: application/pdf
العلاقة: Information and Software Technology, 0950-5849, 2017, 81, s. 112-130; orcid:0000-0002-5032-2310; orcid:0000-0003-4040-3480; http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-34018Test; ISI:000387634200009; Scopus 2-s2.0-84963813590
الإتاحة: https://doi.org/10.1016/j.infsof.2016.04.007Test
http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-34018Test -
2دورية أكاديمية
المؤلفون: Enoiu, Eduard Paul, Causevic, Adnan, Ostrand, Thomas, Weyuker, Elaine, Sundmark, Daniel, Pettersson, Paul
مصطلحات موضوعية: test generation, model checking, automated software testing, function block diagram, safety-critical software, industrial study, Electrical Engineering, Electronic Engineering, Information Engineering, Elektroteknik och elektronik
وصف الملف: application/pdf
العلاقة: International Journal on Software Tools for Technology Transfer, 1433-2779, 2016, 18:3, s. 335-353; orcid:0000-0003-2416-4205; orcid:0000-0001-8009-9052; orcid:0000-0002-1660-199X; orcid:0000-0002-5032-2310; orcid:0000-0003-4040-3480; http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-28100Test; urn:isbn:1433-2779; ISI:000374974200007; Scopus 2-s2.0-84911400022
الإتاحة: https://doi.org/10.1007/s10009-014-0355-9Test
http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-28100Test -
3مؤتمر
المؤلفون: Suryadevara, Jagadish, Sapienza, Gaetana, Seceleanu, Cristina, Seceleanu, Tiberiu, Elleveseth, Stein-Erik, Pettersson, Paul
مصطلحات موضوعية: Formal Modeling, Case Study, Electrical Engineering, Electronic Engineering, Information Engineering, Elektroteknik och elektronik
وصف الملف: application/pdf
العلاقة: Communications in Computer and Information Science, Volume 419 CCIS, p. 229-245; http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-22326Test; urn:isbn:9783319054155; Scopus 2-s2.0-84904627849
الإتاحة: https://doi.org/10.1007/978-3-319-05416-2_15Test
http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-22326Test -
4
المؤلفون: Suryadevara, Jagadish, 1971
المساهمون: Pettersson, Paul, Professor, Seceleanu, Cristina, Sr. Lecturer, De Simone, Robert, Professor
المصدر: ARROWS Mälardalen University Press Dissertations.
مصطلحات موضوعية: Engineering and Technology, Electrical Engineering, Electronic Engineering, Information Engineering, Embedded Systems, Teknik och teknologier, Elektroteknik och elektronik, Inbäddad systemteknik, Model-based development, Model-Checking, Architectural Modeling, CCSL, Timed Automata
وصف الملف: electronic
-
5
المؤلفون: Årzén, Karl-Erik
المساهمون: Pettersson, Paul, Editor, Yi, Wang, Editor
المصدر: Formal Modeling and Analysis of Timed Systems (Lecture Notes in Computer Science). 3829:142-143
مصطلحات موضوعية: embedded systems, networked control loops, real-time control, Co-design, simulation, Teknik, Elektroteknik och elektronik, Reglerteknik, Engineering and Technology, Electrical Engineering, Electronic Engineering, Information Engineering, Control Engineering