Towards Verification of Model Transformations Via Goal-Directed Certification
Towards Verification of Model Transformations Via Goal-Directed Certification
- Neue Suche nach: Karsai, G.
- Neue Suche nach: Narayanan, A.
- Neue Suche nach: Karsai, G.
- Neue Suche nach: Narayanan, A.
- Neue Suche nach: Broy, M.
- Neue Suche nach: Kruger, Ingolf H.
- Neue Suche nach: Meisinger, Michael
Dokumentinformationen
Towards Verification of Model Transformations Via Goal-Directed Certification
2nd, Automotive software workshop; Model-driven development of reliable automotive services, ASWSD 2006 ; 2006 ; San Diego, CA
Automotive software workshop; Model-driven development of reliable automotive services, ASWSD 2006 ; 4922 ; 67-83
2008-01-01
17 pages
Based on those presented at the conference. Includes bibliographical references and author index. Also issued online.
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Ähnliche Titel
Towards Verification of Model Transformations Via Goal-Directed Certification
| Springer Verlag | 2008
A goal-directed transportation planning model
| Elsevier | 1969
A goal-directed transportation planning model
Elsevier | 1970
Boeing achieves major environmental certification goal
Emerald Group Publishing | 2009