-
1كتاب إلكتروني
المؤلفون: Benveniste, AlbertAff22, Caillaud, BenoîtAff22, Elmqvist, HildingAff23, Ghorbal, KhalilAff22, Otter, MartinAff24, Pouzet, MarcAff25
المساهمون: Hutchison, David, Editorial Board MemberAff1, Kanade, Takeo, Editorial Board MemberAff2, Kittler, Josef, Editorial Board MemberAff3, Kleinberg, Jon M., Editorial Board MemberAff4, Mattern, Friedemann, Editorial Board MemberAff5, Mitchell, John C., Editorial Board MemberAff6, Naor, Moni, Editorial Board MemberAff7, Pandu Rangan, C., Editorial Board MemberAff8, Steffen, Bernhard, Editorial Board MemberAff9, Aff17, Aff20, Terzopoulos, Demetri, Editorial Board MemberAff10, Tygar, Doug, Editorial Board MemberAff11, Weikum, Gerhard, Series EditorAff12, Goos, Gerhard, Founding EditorAff13, Hartmanis, Juris, Founding EditorAff14, Bertino, Elisa, Editorial Board MemberAff15, Gao, Wen, Editorial Board MemberAff16, Woeginger, Gerhard, Editorial Board MemberAff18, Aff21, Yung, Moti, Editorial Board MemberAff19
المصدر: Computing and Software Science : State of the Art and Perspectives. 10000:283-310
-
2
المؤلفون: Ghandriz, Toheed, 1982, Führer, Claus, Elmqvist, Hilding
المصدر: Multibody System Dynamics. 39(1-2):1-14
مصطلحات موضوعية: Transient response, Structural topology optimization, Flexible multibody dynamics, SIMP
وصف الملف: electronic
-
3
المؤلفون: Ghandriz, Toheed, Führer, Claus, Elmqvist, Hilding
المصدر: Multibody System Dynamics. 39(1):135-148
مصطلحات موضوعية: Flexible multibody dynamics, SIMP, Structural topology optimization, Transient response, Naturvetenskap, Matematik, Natural Sciences, Mathematics
-
4كتاب إلكتروني
المؤلفون: Elmqvist, HildingAff15, Henningsson, ToivoAff16, Otter, MartinAff17
المساهمون: Hutchison, David, Series editorAff1, Kanade, Takeo, Series editorAff2, Kittler, Josef, Series editorAff3, Kleinberg, Jon M., Series editorAff4, Mattern, Friedemann, Series editorAff5, Mitchell, John C., Series editorAff6, Naor, Moni, Series editorAff7, Pandu Rangan, C., Series editorAff8, Steffen, Bernhard, Series editorAff9, Aff14, Terzopoulos, Demetri, Series editorAff10, Tygar, Doug, Series editorAff11, Weikum, Gerhard, Series editorAff12, Margaria, Tiziana, editorAff13
المصدر: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II. 9953:198-217
-
5
المؤلفون: Blochwitz, Torsten, Otter, Martin, Åkesson, Johan, Arnold, Martin, Clauss, Christoph, Elmqvist, Hilding, Friedrich, Markus, Junghanns, Andreas, Mauss, Jakob, Neumerkel, Dietmar, Olsson, Hans, Viel, Antoine
المصدر: 9th International Modelica Conference,Munich, Germany,-03 Proceedings of the 9th International Modelica Conference. :173-184
مصطلحات موضوعية: Simulation, Co-Simulation Model Exchange, Functional Mockup Interface (FMI), Functional Mockup Unit (FMU), Teknik, Elektroteknik och elektronik, Reglerteknik, Engineering and Technology, Electrical Engineering, Electronic Engineering, Information Engineering, Control Engineering
وصف الملف: electronic
URL الوصول: https://lup.lub.lu.se/record/2972292
https://portal.research.lu.se/files/5428900/2972293.pdf
http://dx.doi.org/10.3384/ecp12076173 -
6
المؤلفون: Otter, Martin, Malmheden, Martin, Elmqvist, Hilding, Mattsson, Sven-Erik, Johnsson, Charlotta
المصدر: 7th International Modelica Conference, 2009,Como, Italy,-- [Host publication title missing]. :364-377
مصطلحات موضوعية: hybrid systems, reactive systems, NuSMV, Safe State Machines, Mode-Automata, Sequential Function Charts, Statechart, ModeGraph, Teknik, Elektroteknik och elektronik, Reglerteknik, Engineering and Technology, Electrical Engineering, Electronic Engineering, Information Engineering, Control Engineering
-
7
-
8كتاب إلكتروني
المؤلفون: Clauss, ChristophAff3, Elmqvist, HildingAff5, Mattsson, Sven ErikAff5, Otter, MartinAff4, Schwarz, PeterAff3
المساهمون: Villar, Eugenio, editorAff1, Mermet, Jean, editorAff2
المصدر: System Specification & Design Languages : Best of FDL’02. :29-40
-
9
-
10