Gratisversand in ganz Deutschland!
Bookbot

Holger Giese Reihenfolge der Bücher

    1. Januar 1970
    Modeling and verifying dynamic evolving service-oriented architectures
    Metric temporal graph logic over typed attributed graphs
    Postworkshop proceedings of the OMER 3, Workshop on Object Oriented Modeling of Embedded Real Time Systems
    Architecting critical systems
    Model-based engineering of embedded real-time systems
    Industrial case study on the integration of SysML and AUTOSAR with triple graph grammars