Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2015A generic interface specification for standardized retrieval and statistical evaluation of spatial and temporal data
Kohlmorgen, Jens
Conference Paper
2014Model-based specification and refinement of usage control policies
Neisse, Ricardo; Doerr, Joerg
Report
2012Standardizing model-based in-vehicle infotainment development in the German automotive industry
Hess, Steffen; Groß, Anne; Maier, Andreas; Orfgen, Marius; Meixner, Gerrit
Conference Paper
2012Standardizing model-based in-vehicle infotainment development in the German automotive industry
Hess, Steffen; Groß, Anne; Maier, Andreas; Orfgen, Marius; Meixner, Gerrit
Report
2011Requirements and specification management for the development of mechatronic products
Hollerith, Thorsten; Stephan, Nicole; Landmann, Dennis; Eigner, Martin; Schindler, Christian; Liggesmeyer, Peter
Report
2009An open, transparent, community-based development process for interoperability specifications
Adametz, H.; Billig, A.; Bittins, S.; Gottschick, J.
Conference Paper
2004Review of standards and standardisation activities
Lindner, R.
Conference Paper
2003An experience-based approach for integrating architecture and requirements engineering
Paech, B.; Knethen, A. von; Doerr, J.; Bayer, J.; Kerkow, D.; Kolb, R.; Trendowicz, A.; Punter, T.; Dutoit, A.H.
Conference Paper
2002Wireless communications: Requirements and implementation for ad-hoc networks
Augel, Markus; Giemsa, Falk; Zeller, Markus; Knorr, Rudi
Conference Paper
2001Materialien, Komponenten, Anlagen und ihr Einfluss auf die staubfreie Reinstfertigung
Schließer, J.; Gommel, U.
Conference Paper
2001Role based specification and security analysis of cryptographic protocols using asynchronous product automata
Gürgens, S.; Ochsenschläger, P.; Rudolph, C.
Report
20005th International ERCIM Workshop on Formal Methods for Industrial Critical Systems 2000
: Gnesi, S.; Schieferdecker, I.; Rennoch, A.
Conference Proceedings
2000Charakterisierung von Adsorbentien
Horn, C.
Conference Paper
1999Vom Normentwurf zur Normalität. Erste Praxiserfahrungen mit der neuen Laminatfußbodennorm
Gunschera, J.
Journal Article
1998Specifying safety-critical embedded systems with statecharts and Z
Büssow, R.; Geisler, R.; Klar, M.
Conference Paper
1997The asynchronous stack revisited
Walter, R.
Book Article
1997Invariantenverifikation in DAWN
Völzer, H.; Walter, R.
Conference Paper
1997Optical microsystems. Packaging strategy by design and modelling
Schreiber, P.; Wächter, C.; Karthe, W.; Krabe, D.; Reichl, H.; Elbers, J.P.; Glingener, C.; Voges, E.; Hagener, G.; Schröter, S.; Bartelt, H.; Sickinger, H.; Schwider, J.; Stock, A.; Schäfer, W.; Dümcke, R.
Conference Paper
1995Dynamic abstract data types based on algebraic graph transformations
Löwe, M.; Ehrig, H.; Orejas, F.
Conference Paper
1994A modular verification of complex real-time systems
Borusan, A.
Conference Paper
1991DESIRe Benutzerhandbuch für Version 1.2
Haas, S.; Vollmar, D.
Report
1991DESIRe Version 1.2 release notes
Haas, S.
Report
1991DESIRe. Specification of Version 1.1
Haas, S.
Report
1991StageMan
Schmidt, E.
Report
1989Verpackungsmaterialien und Good Manufacturing Practice
Franz, R.
Journal Article
1986Kriterien für die Beurteilung von Packstoffen für Lebensmittel, Kosmetika und Arzneimittel
Schricker, G.; Piringer, O.G.
Conference Paper