يعرض 1 - 4 نتائج من 4 نتيجة بحث عن '"Runlei Huang"', وقت الاستعلام: 0.81s تنقيح النتائج
  1. 1
    دورية أكاديمية
    Formalising the Continuous/Discrete Modeling Step

    المؤلفون: Wen Su, Huibiao Zhu, Richard Banach, Runlei Huang

    المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 55, Iss Proc. Refine 2011, Pp 121-138 (2011)

    مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

    وصف الملف: electronic resource

    Relation: http://arxiv.org/pdf/1106.4097v1; https://doaj.org/toc/2075-2180

    URL الوصول: https://doaj.org/article/97f5952210ae4e529f4927ec59d1c1a2

    Full Text Finder
    أضف إلى المفضلة
  2. 2
    Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application

    المؤلفون: Huibiao Zhu, Runlei Huang, Richard Banach, Wen Su

    المصدر: Formal Aspects of Computing. 26:319-366

    مصطلحات موضوعية: Discretization, Continuous modelling, Computer science, Control system, Theory of computation, Discrete Modeling, Systems design, Control engineering, KAOS, Rotation formalisms in three dimensions, Software, Simulation, Theoretical Computer Science

    URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::cc2ce515370dc41608336329e0b15faa
    https://doi.org/10.1007/s00165-012-0263-2

    View Record from ACM Digital Library Find this article in full text from Springer Verlag. Find this article in full text from ProQuest
    أضف إلى المفضلة
  3. 3
    Formalising the Continuous/Discrete Modeling Step

    المؤلفون: Runlei Huang, Huibiao Zhu, Richard Banach, Wen Su

    المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 55, Iss Proc. Refine 2011, Pp 121-138 (2011)
    Refine@FM

    مصطلحات موضوعية: FOS: Computer and information sciences, D.2.1, Continuous modelling, Computer science, lcsh:Mathematics, Ode, D.2.4, ComputerApplications_COMPUTERSINOTHERSYSTEMS, lcsh:QA1-939, lcsh:QA75.5-76.95, CAN bus, Software Engineering (cs.SE), Computer Science - Software Engineering, Development (topology), Simple (abstract algebra), Hybrid system, Discrete Modeling, Applied mathematics, Retrenchment, lcsh:Electronic computers. Computer science, Computer Science::Databases

    URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fcf9253a01600a3a20b3c4f684da620d
    https://doaj.org/article/97f5952210ae4e529f4927ec59d1c1a2

    أضف إلى المفضلة
  4. 4
    From requirements to development: Methodology and example

    المؤلفون: Runlei Huang, Wen Su, Huibiao Zhu, Jean-Raymond Abrial

    المصدر: Formal Methods and Software Engineering ISBN: 9783642245589
    ICFEM

    مصطلحات موضوعية: Software, Development (topology), business.industry, Computer science, 020204 information systems, Face (geometry), 0202 electrical engineering, electronic engineering, information engineering, 020207 software engineering, Requirement document, 02 engineering and technology, Software engineering, business, Simple (philosophy)

    URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::236ae0f949e3021dc79c7e25a2e82def

    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء