• English
  • Deutsch
  • Log In
    Password Login
    Research Outputs
    Fundings & Projects
    Researchers
    Institutes
    Statistics
Repository logo
Fraunhofer-Gesellschaft
  1. Home
  2. Fraunhofer-Gesellschaft
  3. Konferenzschrift
  4. Integration of software specification techniques for applications in engineering
 
  • Details
  • Full
  • Publications
Options
2004
Conference Proceeding
Title

Integration of software specification techniques for applications in engineering

Title Supplement
Priority Program SoftSpez of the German Research Foundation (DFG). Final Report
Person Involved
Ehrig, H.
Damm, W.
Desel, J.
Große-Rhode, M.
Reif, W.
Schnieder, E.
Westkämper, E.
Corporate Author
Deutsche Forschungsgemeinschaft -DFG-, Bonn
Publisher
Springer  
Publishing Place
Berlin
Conference
International Workshop Integration of Specification Techniques for Applications in Engineering (INT) 2004  
Joint European Conferences on Theory and Practice of Software (ETAPS) 2004  
Language
English
Fraunhofer-Institut für Produktionstechnik und Automatisierung IPA  
Fraunhofer-Institut für Software- und Systemtechnik ISST  
Keyword(s)
  • Software

  • Maschinenbau

  • Cookie settings
  • Imprint
  • Privacy policy
  • Api
  • Contact
© 2024