Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Georeferencing, Annotation, and Analysis Tools for Old Maps: an overview

Subjects: early maps; tools; Engineering

  • Source: Proceedings International Workshop Exploring Old Maps 2016 (2016-06); International Workshop on Exploring Old Maps 2016, 08-06-2016

تفاصيل العنوان

×
Conference

Model Interpretation for an AUTOSAR compliant Engine Control Function

Subjects: Model-Based Development; Model interpretation; AUTOSAR engine function

  • Source: 7th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS) (2016-07-05); 7th International

تفاصيل العنوان

×
Conference

Using CPAL to model and validate the timing behaviour of embedded systems

Subjects: Real-Time Systems; Programming Language; CPAL

  • Source: 6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS) (2015-07-07); 6th International

تفاصيل العنوان

×
Conference

DaMAT: A Data-driven Mutation Analysis Tool

Subjects: Mutation analysis; CPS; Engineering

  • Source: Companion Proceedings of the 45th International Conference on Software Engineering (ICSE ’23) (2023-07-12); 45th International Conference on Software Engineering, from 14-05-2023 to 20-05-2023

تفاصيل العنوان

×
Conference

MASS: A tool for Mutation Analysis of Space CPS

Subjects: mutation analyisis; cps; European space agency

  • Source: 2022 IEEE/ACM 44st International Conference on Software Engineering (2022-05); International Conference on Software Engineering, from 22-05-2022 to 27-05-2022

تفاصيل العنوان

×
  • 1-10 ل  25 نتائج ل ""Analysis tools""