مرکز منطقه ای اطلاع رساني علوم و فناوري

DocumentCode :

3698362

Title :

[Front cover]

fYear :

2015

Abstract :

The following topics are dealt with: state machines; symbolic execution; IoT; software maintenance; software security; UML model; model-based software; MDE; graph rewriting system; program verification; software architecture.

Publisher :

ieee

Conference_Titel :

Model Driven Engineering Languages and Systems (MODELS), 2015 ACM/IEEE 18th International Conference on

Type :

conf

DOI :

10.1109/MODELS.2015.7338221

Filename :

7338221

Link To Document :

https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3698362