المؤلفون: Enoiu, Eduard Paul, Sundmark, Daniel, Causevic, Adnan, Pettersson, Paul

مصطلحات موضوعية: Computer Systems, Datorsystem

وصف الملف: application/pdf

العلاقة: Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, p. 412-417; orcid:0000-0003-2416-4205; orcid:0000-0002-5032-2310; orcid:0000-0001-8009-9052; orcid:0000-0003-4040-3480; http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-34088Test; urn:isbn:9781509060313; ISI:000403393600037; Scopus 2-s2.0-85020701655

الإتاحة: https://doi.org/10.1109/ICST.2017.44Test
http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-34088Test

المؤلفون: Enoiu, Eduard Paul, Sundmark, Daniel, Causevic, Adnan, Feldt, Robert, Pettersson, Paul

مصطلحات موضوعية: 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, Computer Systems, Datorsystem

وصف الملف: application/pdf

العلاقة: Lecture Notes in Computer Science, 0302-9743; 9976; Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), p. 155-171; http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-32886Test; ISI:000389932400010; Scopus 2-s2.0-84992445107

الإتاحة: https://doi.org/10.1007/978-3-319-47443-4_10Test
http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-32886Test

المؤلفون: Enoiu, Eduard Paul, Sundmark, Daniel, Causevic, Adnan, Pettersson, Paul

مصطلحات موضوعية: Computer Systems, Datorsystem

وصف الملف: application/pdf

العلاقة: orcid:0000-0003-2416-4205; orcid:0000-0002-5032-2310; orcid:0000-0001-8009-9052; orcid:0000-0003-4040-3480; http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-33389Test

الإتاحة: http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-33389Test

المؤلفون: Pettersson, Paul, 1967

المساهمون: Yi, Wang, Docent

المصدر: DoCS.

مصطلحات موضوعية: Computer Systems, Datorteknik

وصف الملف: print

الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-1161Test

المؤلفون: Carlson, Jan, Håkansson, John, Pettersson, Paul

المصدر: ENTCS: Electronic Notes in Theoretical Computer Science; Aug2006, Vol. 160, p127-140, 14p

مصطلحات موضوعية: EMBEDDED computer systems, COMPUTER software, COMPUTER systems, COMPUTATIONAL linguistics, ARTIFICIAL languages

المؤلفون: Enoiu, Eduard Paul, Sundmark, Daniel, Causevic, Adnan, Pettersson, Paul

مصطلحات موضوعية: Datorsystem, Computer Systems

وصف الملف: application/pdf

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=od_______681::012590e76f2de0df7e7f9496ae440b58Test
http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-33389Test