Items where Author is "Müller, Christian A."

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Conference or Workshop Item (A Paper)
Number of items: 2.

Conference or Workshop Item (A Paper)

Müller, Christian A. and Paul, Wolfgang J.
(2011) Complete Formal Hardware Verification of Interfaces for a FlexRay-Like Bus.
In: Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings.
Conference: CAV Computer Aided Verification

Krüger, Antonio and Butz, Andreas and Müller, Christian A. and Stahl, Christoph and Wasinger, Rainer and Steinberg, Karl-Ernst and Dirschl, Andreas
(2004) The connected user interface: realizing a personal situated navigation service.
In: Proceedings of the 9th International Conference on Intelligent User Interfaces, IUI 2004, Funchal, Madeira, Portugal, January 13-16, 2004.

This list was generated on Fri Apr 19 10:55:00 2024 CEST.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.