International Conference on Hardware/Software Codesign and System Synthesis
Ykman-Couvreur, Chantal; Hartmann, Philipp A.; Palermo, Gianluca; Colas-Bigey, Fabien; San, Laurent
2012
Proceedings of Summer Computer Simulation Conference 2012 (SCSC 2012)
Summer Computer Simulation Conference 2012 (SCSC 2012)
Puch, Stefan; Fränzle, Martin; Osterloh, Jan-Patrick; Läsche, Christoph
2012
System Specification and Design Languages - Selected Contributions from FDL 2010
Grüttner, Kim; Hylla, Kai; Rosinger, Sven; Nebel, Wolfgang
2012
Berens, Philipp; Ecker, Alexander; Gerwinn, Sebastian; Tolias, Andreas; Bethge, Matthias
2011
Gerwinn, Sebastian; Macke, Jakob H ;Bethge, Matthias
2011
Proceedings of the 7th International Product Lifecycle Management Conference (PLM10)
PLM 2010
Reinelt, Matthias; große Austing, Stefan; Geuter, Jürgen; Hahn, Axel
2010
10. Braunschweiger Symposium AAET 2009 - Automatisierungs-, Assistenzsysteme und eingebettete Systeme für Transportmittel
Kim Grüttner; Frank Oppenheimer; Wolfgang Nebel; Jan Freuer; Joachim Gerlach
2009
Journal of Embedded Coomputing (JEC)
Götz, Marcelo; Rettberg, Achim; Pereira, Carlos E.
2009
it-Information Technology
Höpfner, Hagen; Mansour, Essam; Nicklas, Daniela
2009
Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA
Hahn, Axel; Häusler, Stefan, große Austing, Stephan, Reinelt, Matthias
2008
GIR08: 5th ACM Workshop on Geographic Information Retrieval
GIR08 Workshop at CIKM2008
Ahlers, Dirk; Boll, Susanne
2008
Proceedings of the IEEE International Conference on Engineering Management in Europe
Häusler, Stefan; Poppen, Frank; Hahn, Axel
2008
Innovations in Systems and Software Engineering
International Conference on Formal Engineering Methods
Buschermöhle, Ralf; Oelerink, Jörg
2008
Raabe, Andreas; Hartmann, Philipp A.; Anlauf, Joachim K.
2008
12th {East-European} Conference on Advances in Databases and Information Systems
Grossmann, Matthias; Hönle, Nicola; Nicklas, Daniela; Mitschang, Bernhard
2008
International Conference on Modeling, Simulation and Visualization Methods
International Conference on Modeling, Simulation and Visualization Methods
Buschermöhle, Ralf; Reemts Robbe, Oliver
2007
Buschermöhle, Ralf; Reemts Robbe, Oliver
2007
Proceedings of the IEEE Real-Time Systems Symposium
Metzner, Alexander; Herde, Christian
2006
Grabbe, Cornelia; Oppenheimer, Frank; Schubert, Thorsten
2005
Proceedings of the IEEE Real-Time Systems Symposium
Metzner, Alexander; Herde, Christian
2005
Computer Aided Verification
Brockmeyer, U.; Wittich, G.
1998