Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Towards Verification of Model Transformations Via Goal-Directed Certification



    Conference:

    2nd, Automotive software workshop; Model-driven development of reliable automotive services, ASWSD 2006 ; 2006 ; San Diego, CA



    Publication date :

    2008-01-01


    Size :

    17 pages


    Remarks:

    Based on those presented at the conference. Includes bibliographical references and author index. Also issued online.




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Towards Verification of Model Transformations Via Goal-Directed Certification

    Karsai, Gabor / Narayanan, Anantha | Springer Verlag | 2008



    A goal-directed transportation planning model

    Morlok, Edward K. | Elsevier | 1969



    The Multiple Process Model of Goal-directed Reaching Revisited

    Elliott, D / Lyons, J / Hayes, SJ et al. | BASE | 2017

    Free access