Dissertation/ Thesis
Formal support for QVT-Relations with Coloured Petri nets
| Τίτλος: | Formal support for QVT-Relations with Coloured Petri nets |
|---|---|
| Thesis Advisors: | UAM. Departamento de Ingeniería Informática, Herramientas Interactivas Avanzadas (ING EPS-003) |
| Πηγή: | Model Driven Engineering Languages and Systems: 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings. Lecture Notes in Computer Science, Volumen 5795. Springer 2009. 256-270 978-3-642-04424-3 (print) 978-3-642-04425-0 (online) 0302-9743 (print) 1611-3349 (online) 256 270 5795 |
| Στοιχεία εκδότη: | Springer Berlin Heidelberg. |
| Θεματικοί όροι: | Software Engineering, Programming Techniques, Programming Languages, Compilers, Interpreters, Computer System Implementation, Management of Computing and Information Systems, Informática |
| ISBN: | 978-3-642-04424-3 978-3-642-04425-0 3-642-04424-7 3-642-04425-5 |
| DOI: | 10.1007/978-3-642-04425-0_19 |
| Σύνδεσμος πρόσβασης: | http://hdl.handle.net/10486/664379 |
| Αριθμός Καταχώρησης: | edstdx.10486.664379 |
| Βάση Δεδομένων: | TDX |
καταχωρήστε σχόλιο πρώτοι!