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
Konferenzbeitrag
2014Model-based specification and refinement of usage control policies
Neisse, Ricardo; Doerr, Joerg
Bericht
2012Standardizing model-based in-vehicle infotainment development in the German automotive industry
Hess, Steffen; Groß, Anne; Maier, Andreas; Orfgen, Marius; Meixner, Gerrit
Konferenzbeitrag
2012Standardizing model-based in-vehicle infotainment development in the German automotive industry
Hess, Steffen; Groß, Anne; Maier, Andreas; Orfgen, Marius; Meixner, Gerrit
Bericht
2011Requirements and specification management for the development of mechatronic products
Hollerith, Thorsten; Stephan, Nicole; Landmann, Dennis; Eigner, Martin; Schindler, Christian; Liggesmeyer, Peter
Bericht
2009An open, transparent, community-based development process for interoperability specifications
Adametz, H.; Billig, A.; Bittins, S.; Gottschick, J.
Konferenzbeitrag
2004Review of standards and standardisation activities
Lindner, R.
Konferenzbeitrag
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.
Konferenzbeitrag
2002Wireless communications: Requirements and implementation for ad-hoc networks
Augel, Markus; Giemsa, Falk; Zeller, Markus; Knorr, Rudi
Konferenzbeitrag
2001Materialien, Komponenten, Anlagen und ihr Einfluss auf die staubfreie Reinstfertigung
Schließer, J.; Gommel, U.
Konferenzbeitrag
2001Role based specification and security analysis of cryptographic protocols using asynchronous product automata
Gürgens, S.; Ochsenschläger, P.; Rudolph, C.
Bericht
20005th International ERCIM Workshop on Formal Methods for Industrial Critical Systems 2000
: Gnesi, S.; Schieferdecker, I.; Rennoch, A.
Tagungsband
2000Charakterisierung von Adsorbentien
Horn, C.
Konferenzbeitrag
1999Vom Normentwurf zur Normalität. Erste Praxiserfahrungen mit der neuen Laminatfußbodennorm
Gunschera, J.
Zeitschriftenaufsatz
1998Specifying safety-critical embedded systems with statecharts and Z
Büssow, R.; Geisler, R.; Klar, M.
Konferenzbeitrag
1997The asynchronous stack revisited
Walter, R.
Aufsatz in Buch
1997Invariantenverifikation in DAWN
Völzer, H.; Walter, R.
Konferenzbeitrag
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.
Konferenzbeitrag
1995Dynamic abstract data types based on algebraic graph transformations
Löwe, M.; Ehrig, H.; Orejas, F.
Konferenzbeitrag
1994A modular verification of complex real-time systems
Borusan, A.
Konferenzbeitrag
1991DESIRe Benutzerhandbuch für Version 1.2
Haas, S.; Vollmar, D.
Bericht
1991DESIRe Version 1.2 release notes
Haas, S.
Bericht
1991DESIRe. Specification of Version 1.1
Haas, S.
Bericht
1991StageMan
Schmidt, E.
Bericht
1989Verpackungsmaterialien und Good Manufacturing Practice
Franz, R.
Zeitschriftenaufsatz
1986Kriterien für die Beurteilung von Packstoffen für Lebensmittel, Kosmetika und Arzneimittel
Schricker, G.; Piringer, O.G.
Konferenzbeitrag