-
1
المؤلفون: Eklöv Pettersson, Paul
المصدر: ALE; 2022(4), pp 41-43 (2022)
مصطلحات موضوعية: Neolitikum, History and Archaeology, Märta Strömberg, Vätteryd, Historiska museet vid Lunds universitet, gravfält, Järnålder, Rolf Petré, Institutionen för arkeologi och antikens historia
وصف الملف: application/pdf
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=od______1110::52461ce5270dcea6326b3aed3119d569Test
https://lup.lub.lu.se/record/da006a01-cf60-479d-b91e-2421420d0c07Test -
2
المؤلفون: Hatvani, Leo, David, Alexandre, Seceleanu, Cristina, Pettersson, Paul
المصدر: Hatvani, L, David, A, Seceleanu, C & Pettersson, P 2014, ' Adaptive Task Automata with Earliest-Deadline-First Scheduling ', Electronic Communications of the EASST, vol. 70, pp. 1-15 . < http://journal.ub.tu-berlin.de/eceasst/article/viewFile/975/968Test >
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8ab6c2dbcc746de49ea635e2a337d7e5Test
https://vbn.aau.dk/da/publications/5aa087dd-3029-46a1-8e22-4ac273d72550Test -
3
المؤلفون: Amnell, Tobias, Behrmann, Gerd, Bengtsson, Johan, D'Argenio, Pedro R., David, Alexandre, Fehnker, Ansgar, Hune, Thomas, Jeannet, Bertrand, Larsen, Kim G., Möller, M. Oliver, Pettersson, Paul, Weise, Carsten, Yi, Wang, Cassez, Franck, Jard, Claude, Rozoy, Brigitte, Ryan, Mark Dermot
المصدر: Modeling and Verification of Parallel Processes ISBN: 9783540427872
MOVEP
Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000 Nantes, France, June 19–23, 2000 Revised Tutorial Lectures, 99-124
STARTPAGE=99;ENDPAGE=124;TITLE=Modeling and Verification of Parallel Processesمصطلحات موضوعية: Structure (mathematical logic), business.industry, Computer science, computer.file_format, n/a OA procedure, Automaton, Discrete system, Hybrid system, Hybrid automaton, Executable, Software engineering, business, Communications protocol, Real-time operating system, computer, Simulation
وصف الملف: application/pdf
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::117096d9abc05c067b2821455fcf2074Test
https://doi.org/10.1007/3-540-45510-8_4Test -
4
المساهمون: Pettersson, Paul, Yi, Wang
المصدر: Larsen, K G, David, A, Håkansson, J & Pettersson, P 2004, Minimal DBM substraction . in P Pettersson & W Yi (eds), Proceedings of 16th Nordic Workshop on Programming Theory : Uppsala Technical Report . 2004-041 edn, pp. 17-21, Nordic Workshop on Programming Theory, Uppsala, Sweden, 06/10/2004 .
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::01563793abc8b624de496c764c53a4ecTest
https://vbn.aau.dk/da/publications/e90ceda0-003b-11da-b4d5-000ea68e967bTest -
5
مصطلحات موضوعية: Teknik och teknologier, Engineering and Technology
وصف الملف: application/pdf
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8494f3447e81399044ddce8959741eadTest
http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-21334Test -
6
مصطلحات موضوعية: Teknik och teknologier, Engineering and Technology
وصف الملف: application/pdf
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::1752c46be02ff83bea3bab849c80e2d1Test
http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-17237Test -
7
المؤلفون: Lindahl, Anders, Eklöv Pettersson, Paul
المصدر: Lund Archaeological Review; 17(2011), pp 49-59 (2011)
مصطلحات موضوعية: Geology
وصف الملف: application/pdf
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=od______1110::bf6bba8df5440846bed2c6409d8ef66dTest
https://lup.lub.lu.se/record/4195349Test -
8
-
9
المؤلفون: David, Alexandre, Behrmann, Gerd, Larsen, Kim Guldstrand, Rasmussen, Jacob Illum, BÉRARD, Béatrice, GIRARD, Antoine, HADDAD, Serge, CASSEZ, Franck, JARD, Claude, DANG, Thao, LE GERNIC, Colas, DONATELLI, Susanna, LIME, Didier, ELLOY, Jean-Pierre, MAGNIN, Morgan, FREHSE, Goran, MARKEY, Nicolas, PETTERSSON, Paul, TRIPAKIS, Stavros, Yi, Wang, H. ROUX, Olivier
المصدر: David, A, Behrmann, G, Larsen, K G, Rasmussen, J I, BÉRARD, B, GIRARD, A, HADDAD, S, CASSEZ, F, JARD, C, DANG, T, LE GERNIC, C, DONATELLI, S, LIME, D, ELLOY, J-P, MAGNIN, M, FREHSE, G, MARKEY, N, PETTERSSON, P, TRIPAKIS, S, Yi, W & H. ROUX, O 2008, Approches formelles des systèmes embarqués communicants . Hermés Science Publications .
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c531fc4b0105b3b9cdc6d8fc4412781eTest
https://vbn.aau.dk/da/publications/11dc3c80-db22-11dd-a016-000ea68e967bTest -
10
المؤلفون: David, Alexandre, Larsen, Kim Guldstrand, Behrmann, Gerd, Håkansson, John, Pettersson, Paul, Yi, Wang, Hendriks, Martijn
المصدر: David, A, Larsen, K G, Behrmann, G, Håkansson, J, Pettersson, P, Yi, W & Hendriks, M 2006, UPPAAL 4.0 . in Third International Conference on the Quantitative Evaluation of SysTems (QEST) 2006 . IEEE Computer Society Press, pp. 125-126, Quantitative Evaluation of SysTems (QEST) 2006, Riverside, United States, 11/09/2006 .
مصطلحات موضوعية: model-checker, tool, UPPAAL
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=dris___00956::46e75a08b463b3f1fcd4272aa7913a78Test
https://vbn.aau.dk/da/publications/e8080e00-a088-11db-8ed6-000ea68e967bTest