Home › Biblio

Biblio

Export 5 results:
Sort by: Author [ Keyword (Asc)] Title Type Year
Filters: Author is Ehrich, H.-D.  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
bioinformatics
Ehrich, H. - D., S. Eckstein, B. Mathiak, A. Kupfer, and C. Täubner, "Bioinformatik - Erkenntnisse aus der Datenflut?", Abhandlungen der Braunschweigischen Wissenschaftlichen Gesellschaft, vol. LVII: J. Cramer Verlag, pp. 9-34, 2007. Abstract
Ehrich, H. - D., "Bioinformatik - Modellbildung als Herausforderung für die Informatik", Innovation jenseits von Fachgrenzen, M. Bohnet, H. Hopf, K. Lompe, und H. Oberbeck (Herausgeber), Braunschweig, Technische Universität, pp. 37-50, 2004. Abstract
model checking
Pavlovič, O., and H. - D. Ehrich, "Model Checking PLC Software Written in Function Block Diagram", ICST 2010, Paris, IEEE, 2010. Abstract
quality software
Ehrich, H. - D., K. - D. Schewe, T. H. Tse, and (eds), "Special Issue QSIC 2004", Journal of Systems and Software: Elsevier B.V., 2005. Abstract
railway application
Hon, Y. M., J. - T. Tecker, and H. - D. Ehrich, "OOLH: A formal framework for specifying system requirements", SIGSAND-EUROPE 2008, Berlin, Springer LNI, Vol. 129, 2008. Abstract