TY - THES AU - Schnelte, Matthias DA - 2011 DP - Universität Paderborn LA - ger N1 - Paderborn, Univ., Diss., 2010 PB - Veröffentlichungen der Universität PY - 2011 SP - 144 S. : graph. Darst. T2 - Institut für Informatik TI - Automatische Testfallgenerierung aus kontrolliert natürlichsprachlichen Anforderungsspezifikationen für reaktive Echtzeitsysteme UR - https://nbn-resolving.org/urn:nbn:de:hbz:466-20110314031 Y2 - 2025-01-23T01:37:06 ER -