المؤلفون: Larsson, Fredrik, Pettersson, Paul, Yi, Wang

المصدر: Tools and Algorithms for the Construction and Analysis of Systems ; Lecture Notes in Computer Science ; page 127-141 ; ISSN 0302-9743 ; ISBN 9783540672821 9783540464198

الإتاحة: https://doi.org/10.1007/3-540-46419-0_10Test

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

المصدر: Technical report / Department of Information Technology, Uppsala University.

وصف الملف: electronic

الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-529455Test
https://uu.diva-portal.org/smash/get/diva2:1861796/FULLTEXT01.pdfTest

المؤلفون: Ahlford, Marianne, Andersson, Martin, Blomquist, Hanna, Ekström, Magnus, Ericsson, Lars, Gumbel, Johannes, Holmgren, Anna, Holmberg, Petter, Kia, Leonard, Lindström, Anton, Lyrberg, Magnus, Mahmoudi, Shaman, Nolin, Bengt, Sundien, Jesper, Wallentin, Henrik, Gällmo, Olle, Hessel, Anders, Mokrushin, Leonid, Pettersson, Paul

المصدر: Technical report / Department of Information Technology, Uppsala University.

وصف الملف: electronic

الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-529540Test
https://uu.diva-portal.org/smash/get/diva2:1861881/FULLTEXT01.pdfTest

المؤلفون: Bahar, Bahram, Bolcsfoldi, Adam, Falkevik, Jonas, Jakobsen, Roger, Kobosko, Kristoer, Kallstrom, Jimmy, Harju, Alexander, Hasselberg, Andreas, Persson, Johan, Wadman, Mattias, Gällmo, Olle, Hessel, Anders, Mokrushin, Leonid, Pettersson, Paul

المصدر: Technical report / Department of Information Technology, Uppsala University.

وصف الملف: electronic

الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-529349Test
https://uu.diva-portal.org/smash/get/diva2:1861690/FULLTEXT01.pdfTest

المؤلفون: Hessel, Anders, Pettersson, Paul

المصدر: Technical report / Department of Information Technology, Uppsala University.

وصف الملف: electronic

الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-529423Test
https://uu.diva-portal.org/smash/get/diva2:1861764/FULLTEXT01.pdfTest

المؤلفون: Andreasson, Mattias, Bylund, Andrée, Dargahi, Syrus, Johansson, Daniel, Larsson, Martin, Lundmark, Bennie, Mellberg, Jonas, Stenh, Fredrik, Gällmo, Olle, Hessel, Anders, Mokrushin, Leonid, Pettersson, Paul

المصدر: Technical report / Department of Information Technology, Uppsala University.

وصف الملف: electronic

الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-20050Test
https://uu.diva-portal.org/smash/get/diva2:47822/FULLTEXT01.pdfTest

المؤلفون: Lindström, Birgitta, Pettersson, Paul

المصدر: IKI Technical Reports.

مصطلحات موضوعية: SOCIAL SCIENCES, Statistics, computer and systems science, Informatics, Computer and systems science, SAMHÄLLSVETENSKAP, Statistik, data- och systemvetenskap, Informatik, Data- och systemvetenskap

وصف الملف: print

الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:his:diva-1270Test
http://www.es.mdh.se/publications/1027-Model_Checking_with_Insufficient_Memory_ResourcesTest

المؤلفون: Johnsen, Andreas, Lundqvist, Kristina, Pettersson, Paul, 1902, Hänninen, Kaj, 1970, Torelm, Martin

المصدر: Proceedings - International Symposium on Software Reliability Engineering, ISSRE. Volume 2017. :271-281

وصف الملف: print

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

المؤلفون: Johnsen, Andreas, Lundqvist, Kristina, Hänninen, Kaj, 1970, Pettersson, Paul, 1902

المصدر: Proceedings - International Symposium on Software Reliability Engineering, ISSRE, Volume 2017. :260-270

وصف الملف: print

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

المؤلفون: Johnsen, Andreas, Dodig-Crnkovic, Gordana, 1955, Lundqvist, Kristina, Hänninen, Kaj, 1970, Pettersson, Paul, 1902

المصدر: Proceedings - 2017 IEEE International Conference on Software Architecture Workshops, ICSAW 2017. :153-160

وصف الملف: print

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