Consistency Check of the Functional Solution Model in Special Purpose Machinery
暂无分享,去创建一个
[1] Martin Hubert Landherr. Integrierte Produkt- und Montagekonfiguration für die variantenreiche Serienfertigung , 2014 .
[2] Engelbert Westkämper. Zukunftsperspektiven der digitalen Produktion , 2013 .
[3] Martin Schilke. Einsatz von Produktdatenmanagement-Systemen im Sondermaschinenbau für die Automobilindustrie , 2010 .
[4] Johannes Hoos,et al. Efficient engineering in special purpose machinery through automated control code synthesis based on a functional categorisation , 2015, ML4CPS.
[5] Udo Lindemann,et al. Kostengünstig Entwickeln und Konstruieren , 1998 .
[6] Henry Muccini,et al. Automated check of architectural models consistency using SPIN , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).
[7] Engelbert Westkämper,et al. Modelling Dependencies to Improve the Cross-domain Collaboration in the Engineering Process of Special Purpose Machinery , 2016 .
[8] David J. Williams,et al. The ManuFuture Road to High-Adding-Value Competitive Sustainable Manufacturing , 2008 .
[9] Gernot Frank. Durchgängiges mechatronisches Engineering für Sondermaschinen , 2016 .
[10] Peter Nyhuis,et al. Changeable Manufacturing - Classification, Design and Operation , 2007 .
[11] Gerard J. Holzmann,et al. The SPIN Model Checker , 2003 .
[12] Jörg Holtmann,et al. Automatic Verification of Modeling Rules in Systems Engineering for Mechatronic Systems , 2013 .
[13] Stephan Kleuker. Formale Modelle der Softwareentwicklung , 2009 .
[14] Stefan Assmann. Methoden und Hilfsmittel zur abteilungsübergreifenden Projektierung komplexer Maschinen und Anlagen , 1996 .
[15] Peter Goehner,et al. Agent-based consistency check in early mechatronic design phase , 2013 .