-
91
المؤلفون: Causevic, Adnan, Seceleanu, Cristina, Pettersson, Paul
المصدر: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). :74-87
مصطلحات موضوعية: Automata theory, Energy management, Model checking, Semantics
وصف الملف: print
-
92
المؤلفون: Johnsen, Andreas, Kristina, Lundqvist, Pettersson, Paul, Hänninen, Kaj
المصدر: QoSA 2014 - Proceedings of the 10th International ACM SIGSOFT Conference on Quality of Software Architectures (Part of CompArch 2014). :103-112
وصف الملف: print
-
93
المؤلفون: Eklöv Pettersson, Paul
المساهمون: Ödman, Anders, Editor
المصدر: Skånskt järn från Arilds tid till Frans Suells dagar : tre traditioner av järnforskning - tre traditioner av järnforskning. 100:59-78
مصطلحات موضوعية: Järnhantering, Metallurgi, Arkeologi, Medeltid, Humaniora och konst, Historia och arkeologi, Humanities, History and Archaeology, Archaeology
-
94مؤتمر
المصدر: 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
الإتاحة: https://doi.org/10.1109/icstw.2015.7107456Test
http://xplorestaging.ieee.org/ielx7/7100633/7107396/07107456.pdf?arnumber=7107456Test -
95
المؤلفون: Eklöv Pettersson, Paul
المساهمون: Ramminger, Britta, Editor, Stilborg, Ole, Editor, Helfert, Markus, Editor
المصدر: Naturwissenschaftliche Analysen vor- und frühgeschichtlicher Keramik III : Methoden, Anwendungsbereiche, Auswertungsmöglichkeiten - Methoden, Anwendungsbereiche, Auswertungsmöglichkeiten. 238:69-79
مصطلحات موضوعية: XRF, Crucible, Bronze, Calcium, Laboratory analysis, RFA, Schmelztiegel, laboranalysen, Naturvetenskap, Geovetenskap och miljövetenskap, Geologi, Natural Sciences, Earth and Related Environmental Sciences, Geology, Humaniora och konst, Historia och arkeologi, Arkeologi, Humanities, History and Archaeology, Archaeology
-
96
المؤلفون: David, A., Behrmann, G., Bulychev, P., Byg, J., Chatain, T., Larsen, K. G., Pettersson, Paul, Rasmussen, J. I., Srba, J., Yi, W., Joergensen, K. Y., Lime, D., Magnin, M., Roux, O. H., Traonouez, L. -M
المصدر: Communicating Embedded Systems: Software and Design: Formal Methods. :165-225
مصطلحات موضوعية: Model-checking, and tools, ROMEO, and timed extensions, TAPAAL, timed-arc Petri nets, UPPAAL, timed automata/symbolic, UPPAAL-CORA/-TIGA
وصف الملف: print
-
97
المصدر: Lect. Notes Comput. Sci. Lecture Notes in Computer Science. :1-15
مصطلحات موضوعية: CCSL, MARTE, Model-checking, Modes, UPPAAL, Verification, Design and analysis, Real-time embedded systems, Safety-critical embedded systems, Semantic framework, Embedded systems, Model checking, Real time systems, Semantics, Software engineering, Specification languages, Automata theory
وصف الملف: print
-
98
المؤلفون: Hatvani, Leo, 1985, Seceleanu, Cristina, Pettersson, Paul
المصدر: ARROWS - Design Techniques for Adaptive Embedded Systems SIGBED Rev.. 10(1):43-47
مصطلحات موضوعية: adaptive embedded systems, adaptive task automata, schedulability verification, task automata
وصف الملف: print
-
99
المصدر: ARROWS - Design Techniques for Adaptive Embedded Systems Software Engineering and Formal Methods Lecture Notes in Computer Science. :1-15
وصف الملف: print
-
100
المؤلفون: Causevic, Aida, Seceleanu, Cristina, Pettersson, Paul
المصدر: CONTESSE - Contract-Based Components for Embedded Software Proceedings - 2013 IEEE 7th International Symposium on Service-Oriented System Engineering, SOSE 2013. :125-136
وصف الملف: print