يعرض 1 - 8 نتائج من 8 نتيجة بحث عن '"Ljungkrantz, O."', وقت الاستعلام: 1.41s تنقيح النتائج
  1. 1
    Specification and semantic analysis of embedded systems requirements: From description logic to temporal logic

    المؤلفون: Mahmud, Nesredin, Seceleanu, Cristina, 1968, Ljungkrantz, O.

    المصدر: Lect. Notes Comput. Sci. Lecture Notes in Computer Science. :332-348

    مصطلحات موضوعية: Description logic, Embedded systems, Event-based semantics, Ontology, Requirements analysis, Requirements specification, Thematic roles, Timed computation tree logic, Computability and decidability, Computer circuits, Data description, Forestry, Formal languages, Formal methods, Formal specification, Model checking, Natural language processing systems, Requirements engineering, Semantics, Software engineering, Specification languages, Specifications, Temporal logic, Requirements specifications

    وصف الملف: print

    الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-36562Test


    أضف إلى المفضلة
  2. 2
    Automated specification and verification of functional safety in heavy-vehicles: The verispec approach

    المؤلفون: Rodriguez-Navas, Guillermo, Seceleanu, Cristina, Hansson, Hans, Nyberg, M., Ljungkrantz, O., Lönn, H.

    المصدر: Proceedings - Design Automation Conference.

    مصطلحات موضوعية: Computer aided design, Model checking, Architectural models, Automotive functional safeties, Formal representations, Functional Safety, Input and outputs, Levels of abstraction, Relevant components, Specification and verification, Vehicles

    وصف الملف: print

    الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-25675Test


    أضف إلى المفضلة
  3. 3
    مؤتمر
    A formal specification language for PLC-based control logic.

    المؤلفون: Ljungkrantz, O., Akesson, K., Fabian, M., Chengyin Yuan

    المصدر: 2010 8th IEEE International Conference on Industrial Informatics (INDIN); 2010, p1067-1072, 6p


    أضف إلى المفضلة
  4. 4
    مؤتمر
    Formal specification and verification of components for industrial logic control programming.

    المؤلفون: Ljungkrantz, O., Akesson, K., Fabian, M.

    المصدر: 2008 IEEE International Conference on Automation Science & Engineering; 2008, p935-940, 6p


    أضف إلى المفضلة
  5. 5
    مؤتمر
    Implementing a Control System Framework for Automatic Generation of Manufacturing Cell Controllers.

    المؤلفون: Ljungkrantz, O., Akesson, K., Richardsson, J., Andersson, K.

    المصدر: Proceedings 2007 IEEE International Conference on Robotics & Automation; 2007, p674-679, 6p


    أضف إلى المفضلة
  6. 6
    مؤتمر
    A Study of Industrial Logic Control Programming using Library Components.

    المؤلفون: Ljungkrantz, O., Akesson, K.

    المصدر: 2007 IEEE International Conference on Automation Science & Engineering; 2007, p117-122, 6p


    أضف إلى المفضلة
  7. 7
    مؤتمر
    A Framework for Component Based Distributed Control Software Development Using IEC 61499.

    المؤلفون: Cengic, G., Ljungkrantz, O., Akesson, K.

    المصدر: 2006 IEEE Conference on Emerging Technologies & Factory Automation; 2006, p782-789, 8p


    أضف إلى المفضلة
  8. 8
    مؤتمر
    Formal Modeling of Function Block Applications Running in IEC 61499 Execution Runtime.

    المؤلفون: Cengic, G., Ljungkrantz, O., Akesson, K.

    المصدر: 2006 IEEE Conference on Emerging Technologies & Factory Automation; 2006, p1269-1276, 8p


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