Skip to Search
Skip to Navigation
Skip to Main Content
Skip to Footer
من نحن
أفرع المكتبات
إسأل أمين المكتبة
إقرأ معنا
أصدقاء القراة
القــراءة للجميــع
سلاسل القصص
كتب أطفال
قراءات في أدب الطفل - حلقة أولى
قراءات في أدب الطفل - حلقة ثانية
قراءات في أدب الطفل - حلقة ثالثة
قراءات في أدب الطفل - إعادة التدوير والزراعة
مراجع في التنمية المهنية للمعلمين
المخطوطات
أجندة الفعاليات
الفعاليات القادمة
مسابقات مكتبة
مسابقة القارئ المبدع - الدورة الحادية عشرة
مسابقة الكاتب الصغير في الكتاب الكبير - النسخة الثانية عشرة
مسابقة رائدة المكتبات النسخة الرابعة 2024
منصة المورديين
Login | تسجيل الدخول
English
عربي
تسجيل الدخول
إضغط استمرار لتسجيل الدخول باستخدام حساب المكتبة أو انشاء حساب جديد
Staff Login
×
Login | تسجيل الدخول
English
عربي
Menu
menu
من نحن
أفرع المكتبات
إسأل أمين المكتبة
إقرأ معنا
أصدقاء القراة
القــراءة للجميــع
سلاسل القصص
كتب أطفال
قراءات في أدب الطفل - حلقة أولى
قراءات في أدب الطفل - حلقة ثانية
قراءات في أدب الطفل - حلقة ثالثة
قراءات في أدب الطفل - إعادة التدوير والزراعة
مراجع في التنمية المهنية للمعلمين
المخطوطات
أجندة الفعاليات
الفعاليات القادمة
مسابقات مكتبة
مسابقة القارئ المبدع - الدورة الحادية عشرة
مسابقة الكاتب الصغير في الكتاب الكبير - النسخة الثانية عشرة
مسابقة رائدة المكتبات النسخة الرابعة 2024
منصة المورديين
Site Search
Search Options
الموارد الإلكترونية
فهرس المكتبة والموارد
فهرس المكتبة
All
موضوع
مؤلف
عنوان
Item request has been placed!
×
Item request cannot be made.
×
Processing Request
Multi-paradigm modelling for cyber–physical systems
Item request has been placed!
×
Item request cannot be made.
×
Processing Request
اقرأ على الانترنت
اقرأ أكثر
حفظ في قائمتي
المؤلفون:
Andreas Wortmann
;
Robert Heinrich
;
Dominique Blouin
;
Hans Vangheluwe
;
Moussa Amrani
;
Arend Rensink
المصدر:
Software and systems modeling 20(3), 611-639 (2021). doi:10.1007/s10270-021-00876-z
Software and Systems Modeling, 20, 611–639
Software and systems modeling
Software and systems modeling, 20(3), 611-639. Springer
الموضوع:
Cyber–physical systems
;
Formalism (philosophy)
;
Computer science
;
UT-Hybrid-D
;
Context (language use)
;
02 engineering and technology
;
0202 electrical engineering, electronic engineering, information engineering
;
Multi-paradigm modelling
;
Structure (mathematical logic)
;
Computer. Automation
;
business.industry
;
Event (computing)
;
DATA processing & computer science
;
Cyber-physical system
;
020207 software engineering
;
Rotation formalisms in three dimensions
;
Synchronous Data Flow
;
Workflow
;
Modeling and Simulation
;
020201 artificial intelligence & image processing
;
Foundations of model-based systems engineering
;
ddc:004
;
Software engineering
;
business
;
Software
اللغة:
English
الدخول الالكتروني :
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5c89630b82e7aea020afc21287d1a7de
https://doi.org/10.1007/s10270-021-00876-z
معلومة اضافية
Contributors:
Formal Methods and Tools
الموضوع:
2021
نبذة مختصرة :
Software and systems modeling 20(3), 611-639 (2021). doi:10.1007/s10270-021-00876-z
Published by Springer, Berlin; Heidelberg; New York, NY
File Description:
application/pdf
ISSN:
1619-1366
1619-1374
Rights:
OPEN
الرقم المعرف:
edsair.doi.dedup.....5c89630b82e7aea020afc21287d1a7de
تعليقات
No Comments.
×
No Comments.