Go directly to content
Go directly to font size and contrast
Servicenavigation
DFG Homepage
Disclaimer / Copyright
|
Help
|
Data Monitor
English
Hauptnavigation
Search
Catalogue
People Index
Location Index
About GEPRIS
Project Details
Back
Institution
Technische Universität Berlin
Institut für Softwaretechnik und Theoretische Informatik
Fachgebiet Theoretische Informatik/ Formale Spezifikation
Address
Marchstraße 23
10587 Berlin
Deutschland
GERiT
This institution in GERiT
10587 Berlin
Projects
Research Grants
Completed projects
Anwendung von Graphtransformation auf visuelle Modellierungssprachen
(Applicant
Ehrig, Hartmut
)
Behavioural simulation and equivalences of systems modelled by graph transformation
(Applicants
Ehrig, Hartmut
;
König, Barbara
)
Formale Modellierung und Analyse von flexiblen Prozessen in mobilen Ad-hoc Netzwerken
(Applicants
Ehrig, Hartmut
;
Padberg, Julia
)
Priority Programmes
Completed projects
Integration objektorientierter Softwarespezifikationstechniken und deren anwendungsspezifische Erweiterung für industrielle Produktionssysteme am Beispiel der Automobilindustrie
(Applicant
Ehrig, Hartmut
)
SPP 1064: Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen
(Spokesperson
Ehrig, Hartmut
)
Research Units
Completed projects
Taxonomie, Konzeption und Bereitstellung anwendungsorientierter Petrienetz- Technologie
(Applicant
Ehrig, Hartmut
)
Taxonomie, Konzeption und Bereitstellung anwendungsorientierter Petrienetz-Technologie
(Applicant
Reisig, Wolfgang
)
Taxonomie, Konzeption und Bereitstellung anwendungsorientierter Petrinetz-Technologie
(Applicant
Weber, Herbert
)
Additional Information
© 2024
DFG
Disclaimer / Copyright
/
Privacy Policy
Textvergrößerung und Kontrastanpassung
