يعرض 1 - 10 نتائج من 25 نتيجة بحث عن '"Kristensen, Klaus"', وقت الاستعلام: 0.91s تنقيح النتائج
  1. 1
    كتاب إلكتروني

    المساهمون: Fitzgerald, John, editorAff1, Gomes, Cláudio, editorAff2, Larsen, Peter Gorm, editorAff3

    المصدر: The Engineering of Digital Twins. :19-43

  2. 2
    كتاب إلكتروني

    المؤلفون: Fitzgerald, JohnAff4, Pierce, KenAff4, Kristensen, KlausAff5

    المساهمون: Fitzgerald, John, editorAff1, Gomes, Cláudio, editorAff2, Larsen, Peter Gorm, editorAff3

    المصدر: The Engineering of Digital Twins. :65-86

  3. 3
    مؤتمر

    المصدر: 2017 IEEE 19th International Conference on e-Health Networking, Applications and Services (Healthcom) e-Health Networking, Applications and Services (Healthcom), 2017 IEEE 19th International Conference on. :1-7 Oct, 2017

    Relation: 2017 IEEE 19th International Conference on e-Health Networking, Applications and Services (Healthcom)

  4. 4
    مؤتمر

    المصدر: 2014 9th International Conference on System of Systems Engineering (SOSE) System of Systems Engineering (SOSE), 2014 9th International Conference on. :73-78 Jun, 2014

    Relation: 2014 9th International Conference on System of Systems Engineering (SOSE)

  5. 5
  6. 6
  7. 7
    كتاب إلكتروني

    المساهمون: Hutchison, David, editorAff1, Kanade, Takeo, editorAff2, Kittler, Josef, editorAff3, Kleinberg, Jon M., editorAff4, Kobsa, Alfred, editorAff5, Mattern, Friedemann, editorAff6, Mitchell, John C., editorAff7, Naor, Moni, editorAff8, Nierstrasz, Oscar, editorAff9, Pandu Rangan, C., editorAff10, Steffen, Bernhard, editorAff11, Terzopoulos, Demetri, editorAff12, Tygar, Doug, editorAff13, Weikum, Gerhard, editorAff14, Badger, Julia M., editorAff15, Rozier, Kristin Yvonne, editorAff16

    المصدر: NASA Formal Methods : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedings. 8430:31-45

  8. 8
  9. 9

    المساهمون: Braga, Christiano, Marti-Oliet, Narciso

    المصدر: Lausdahl, K, Nielsen, C B & Kristensen, K 2014, Including Running System Implementations in the Simulation of System of Systems Models . in C Braga & N Marti-Oliet (eds), Preproceedings of SBMF 1014-17th Brazilian Symposium on Formal Methods : Part of CBSoft 2014 . pp. 177-182, CBSoft 2014-Brazilian Conference on Software, Maceio, Brazil, 29/09/2014 .

  10. 10