登入選單
Google圖書搜尋
Triple graph grammars for multi-version models
作者
Matthias Barkowsky / Holger Giese
出版Universitätsverlag Potsdam, 2023-06-06
ISBN
9783869565569 / 386956556X
主題
Computers
Industrial Case Study on the Integration of SysML ...
作者
Giese, Holger / Hildebrandt, Stephan / Neumann, Stefan / Wätzold, Sebastian
出版Universitätsverlag Potsdam, 2012
ISBN
9783869561912 / 3869561912
主題
Computers
Metric Temporal Graph Logic over Typed Attributed ...
作者
Holger Giese / Maria Maximova / Lucas Sakizloglou / Sven Schneider
出版Universitätsverlag Potsdam, 2018
ISBN
9783869564333 / 3869564334
主題
Computers
Efficient Model Synchronization of Large-scale Mod...
作者
Holger Giese / Stefan Hildebrandt
出版Universitätsverlag Potsdam, 2009
ISBN
9783940793843 / 3940793841
Cyber-physical Systems with Dynamic Structure
作者
Basil Becker / Holger Giese
出版Universitätsverlag Potsdam, 2012
ISBN
9783869562179 / 386956217X
主題
Computers
Modular and incremental global model management wi...
作者
Matthias Barkowsky / Holger Giese
出版Universitätsverlag Potsdam, 2023-06-06
ISBN
9783869565552 / 3869565551
主題
Computers
Probalistic Timed Graph Transformation Systems
作者
Maximove, Maria / Giese, Holger / Krause, Christian
出版Universitätsverlag Potsdam, 2017-11-30
ISBN
9783869564050 / 3869564059
Toward Bridging the Gap Between Formal Semantics a...
作者
Holger Giese / Stefan Hildebrandt / Leen Lambers
出版Universitätsverlag Potsdam, 2010
ISBN
9783869560786 / 3869560789
主題
Computers
Probabilistic metric temporal graph logic
作者
Sven Schneider / Maria Maximova / Holger Giese
出版Universitätsverlag Potsdam, 2022-11-18
ISBN
9783869565323 / 3869565322
主題
Computers
Inductive invariant checking with partial negative...
作者
Dyck, Johannes / Giese, Holger
出版Universitätsverlag Potsdam, 2016-04-13
ISBN
9783869563336 / 3869563338
主題
Computers
Automatic verification of behavior preservation at...
作者
Dyck, Johannes / Giese, Holger / Lambers, Leen
出版Universitätsverlag Potsdam, 2017-04-26
ISBN
9783869563916 / 3869563915
主題
Computers
Correct Dynamic Service Oriented Architectures
作者
Basil Becker / Holger Giese / Stefan Neumann
出版Universitätsverlag Potsdam, 2009
ISBN
9783940793911 / 3940793914
MDE Settings in SAP
作者
Regina Hebig / Holger Giese
出版Universitätsverlag Potsdam, 2012
ISBN
9783869561929 / 3869561920
主題
Computers
Scalable Compatibility for Embedded Real-time Comp...
作者
Stefan Neumann / Holger Giese
出版Universitätsverlag Potsdam, 2013
ISBN
9783869562261 / 3869562269
主題
Computers
Model-driven engineering of adaptation engines for...
作者
Thomas Vogel / Holger Giese
出版Universitätsverlag Potsdam, 2013
ISBN
9783869562278 / 3869562277
主題
Computers
On the operationalization of graph queries with ge...
作者
Beyhl, Thomas / Blouin, Dominique / Giese, Holger / Lambers, Leen
出版Universitätsverlag Potsdam, 2017-01-12
ISBN
9783869563725 / 3869563729
主題
Computers
Invariant Analysis for Multi-Agent Graph Transform...
作者
Sven Schneider / Maria Maximova / Holger Giese
出版Universitätsverlag Potsdam, 2022-11-17
ISBN
9783869565316 / 3869565314
主題
Computers
Interval Probabilistic Timed Graph Transformation ...
作者
Maria Maximova / Holger Giese / Sven Schneider
出版Universitätsverlag Potsdam, 2022-05-19
ISBN
9783869565026 / 3869565020
主題
Computers
Modeling collaborations in self-adaptive systems o...
作者
Wätzoldt, Sebastian / Giese, Holger
出版Universitätsverlag Potsdam, 2015-04-30
ISBN
9783869563244 / 3869563249
主題
Computers
k-Inductive invariant checking for graph transform...
作者
Dyck, Johannes / Giese, Holger
出版Universitätsverlag Potsdam, 2017-09-15
ISBN
9783869564067 / 3869564067
Modeling and Verifying Dynamic Evolving Service-Or...
作者
Giese, Holger / Becker, Basil
出版Universitätsverlag Potsdam, 2013-08-15
ISBN
9783869562469 / 3869562463
Quantitative Modeling and Analysis of Service-orie...
作者
Krause, Christian / Giese, Holger
出版Universitätsverlag Potsdam, 2012
ISBN
9783869561714 / 3869561718
主題
Computers
Efficient and scalable graph view maintenance for ...
作者
Beyhl, Thomas / Giese, Holger
出版Universitätsverlag Potsdam, 2016-01-12
ISBN
9783869563398 / 3869563397
主題
Computers
Compositional Analysis of Probabilistic Timed Grap...
作者
Maria Maximova / Holger Giese / Sven Schneider
出版Universitätsverlag Potsdam, 2022-05-19
ISBN
9783869565019 / 3869565012
主題
Computers
Modeling and Formal Analysis of Meta-Ecosystems wi...
作者
Boris Flotterer / Maria Maximova / Sven Schneider / Johannes Dyck / Christian Zöllner / Holger Giese / Christelle Hély / Cédric Gaucherel
出版Universitätsverlag Potsdam, 2023-01-08
ISBN
9783869565330 / 3869565330
主題
Computers
Behavior Specification for Contract Based Distribu...
作者
Holger Giese
出版1999
ISBN
OCLC:76052470
Scalable compatibility for embedded real-time comp...
作者
Stefan Neumann / Holger Giese
出版2013
ISBN
OCLC:1236164096
Closing the Gap Between Object Oriented Modeling o...
作者
Holger Giese / Jörg Graf / Guido Wirtz
出版1999
ISBN
OCLC:76052457
Proceedings of the HPI Research School on Service-...
作者
Christoph Meinel / Jürgen Roland Friedrich Döllner / Mathias Weske / Andreas Polze / Robert Hirschfeld / Felix Naumann / Holger Giese / Patrick Baudisch / Tobias Friedrich / Erwin Böttinger / Christoph Lippert / Christian Dörr / Anja Lehmann / Bernhard Renard / Tilmann Rabl / Falk Uebernickel / Bert Arnrich / Katharina Hölzle
出版Universitätsverlag Potsdam, 2023-06-07
ISBN
9783869565132 / 3869565136
A Real Object Oriented Visual Design Language for ...
作者
Guido Wirtz / Holger Giese / Jörg Graf
出版1999
ISBN
OCLC:75995366