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

An improved approach on the model checking for an agent-based simulation system

Subjects: Model checking; Computer science; Model transformation

  • Source: MODELS 2021: ACM/IEEE 24th International Conference on Model Driven Engineering Languages and SystemsMODELS 2021: ACM/IEEE 24th International Conference on Model

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

×
  • 1-5 of  5 نتائج ل ""Software Engineering (cs.SE)""