[1]
Reider, M.; Magnus, S.; Krause, J. (2018). Feature-Based Testing by Using Model Synthesis, Test Generation and Parameterizable Test Prioritization, 1st IEEE Workshop on NEXt level of Test Automation – NEXTA 2018, 9.04.2018, Västerås/Sweden
Vorname:
J.
Nachname:
Krause
[1]
Schönrock, R.; Ruß, T.; Krause, J. (2016). Intelligenter Leitkegel als Beispiel einer prototypischen Car2X-Applikation, 1. Deutscher C2X-Kongress, 01.-02.03.2016, ITS Germany e.V. , Frankfurt am Main
[1]
Magnus, S.; Krause, J. (2012). Kombinierung constraintbasierter Methoden und Petrinetztechniken zur Modellverifizierung offener, diskreter und reaktiver Systeme, 12. Fachtagung EKA - Entwurf komplexer Automatisierungssysteme, 09.-10.05.2012, Otto-von-Guericke-Universität Magdeburg/ifak, Magdeburg
[1]
Engel, C.; Magnus, S.; Krause, J. (2017). Using Twitter as source of traffic data - Concepts and experiences of the project AUSWEG, The 4th International Symposium on Emerging Inter-networks, Communication and Mobility (EICM 2017), 24-26.07.2017, Leuven, Belgium
Erscheinungsjahr:
2010
Zweittitel:
40. GI Jahrestagung 2010, MoTes2010, Informatik 2010 – Service Science - Neue Perspektiven für die Informatik, 27.09.-01.10.2010
Veröffentlichungsdatum:
09/2010
Sprache der Veröffentlichung:
eng
Veröffentlichungsort:
Leipzig
ISBN-Nummer:
978-3-88579-270-3
Zitatsignatur:
830
[1]
Diedrich, C.; Magnus, S.; Krause, J. (2015). Automatisierte Modellgenerierung auf Basis formalisierter Anforderungsbeschreibung, at - Automatisierungstechnik, Bde. 63 (2):121–128
[1]
Krause, J. (2011). Testfallgenerierung aus modellbasierten Systemspezifikationen auf der Basis von Petrinetzentfaltungen, Shaker Verlag, Aachen
Erscheinungsjahr:
2017
Zweittitel:
Veranstaltungsreihe des Arbeitskreises Mess- und Automatisierungstechnik 2017 (BV Magdeburg), 17.08.2017
Veröffentlichungsdatum:
08/2017
Sprache der Veröffentlichung:
eng
Herausgeber:
VDI/ifak
Veröffentlichungsort:
Magdeburg
Zitatsignatur:
1687
Erscheinungsjahr:
2010
Zweittitel:
Verband Deutscher Verkehrsunternehmen VDV, Sitzung der Arbeitsgruppe „Ist-Datenschnittstellen“, 03.11.2010
Veröffentlichungsdatum:
11/2010
Sprache der Veröffentlichung:
eng
Veröffentlichungsort:
Köln
Zitatsignatur:
831
[1]
Festag, A.; Rehme, M.; Krause, J. (2016). Studie Mobilität 2025: Koexistenz oder Konvergenz von IKT für Automotive?, VDE Verband der Elektrotechnik Elektronik Informationstechnik e.V., Berlin