To Topic-Graph

7.552 Topics available

To Map

748 Locations available

230.548 People

PeopleLocationsStatistics
Aksjonov, AndreiEspoo
  • 9
  • 26
  • 47
  • 2022
Wei, Wei
  • 10
  • 50
  • 182
  • 2022
Boussauw, Kobe
  • 8
  • 17
  • 55
  • 2022
Correia, G Homem De Almeida RodriguezDelft
  • 74
  • 203
  • 1k
  • 2022
Liu, YongfengLinköping, Villeurbanne
  • 126
  • 541
  • 2k
  • 2022
Marconi, Edoardo
  • 4
  • 6
  • 6
  • 2022
Šarkan, Branislav
  • 6
  • 15
  • 11
  • 2022
Ruponen, PekkaEspoo
  • 8
  • 21
  • 63
  • 2022
Sorniotti, AldoGuildford
  • 71
  • 295
  • 1k
  • 2022
Orlovska, JuliaGothenburg
  • 3
  • 7
  • 13
  • 2022
Costescu, Dorinela
  • 8
  • 28
  • 13
  • 2022
Bonander, Carl
  • 3
  • 8
  • 27
  • 2022
Kim, Sunghwan
  • 2
  • 6
  • 0
  • 2022
Kluge, M.
  • 13
  • 81
  • 272
  • 2022
Van Vuuren, Detlef PeterBerlin
  • 12
  • 129
  • 1k
  • 2022
Maternini, Giulio
  • 9
  • 32
  • 69
  • 2022
Kouwenhoven, Marco
  • 11
  • 39
  • 288
  • 2022
Zwick, Thomas
  • 51
  • 167
  • 990
  • 2022
Haddad, HediLyon
  • 4
  • 12
  • 10
  • 2022
SHARMA, SANJEEV
  • 1
  • 1
  • 0
  • 2022
Rakhmangulov, Aleksandr Nelevich
  • 6
  • 46
  • 22
  • 2022
Rusca, Aura
  • 5
  • 21
  • 2
  • 2022
Osintsev, Nikita Anatolyevich
  • 6
  • 46
  • 22
  • 2022
Rosca, Mircea Augustin
  • 6
  • 25
  • 15
  • 2022
Yang, BinAalborg
  • 44
  • 247
  • 1k
  • 2022

Meyer Zu Horste, Michael

in Cooperation with on an Cooperation-Score of 37%

Publications

Places of action

Chart of shared publication
Hainz, Svenja - 7 publications, 3 shared
Brinkmann, Florian - 13 publications, 1 shared
Kurt, Filiz - 2 publications, 1 shared
Masson, Emilie - 5 publications, 2 shared
Berbineau, Marion - 34 publications, 1 shared
Mendizabal, Jaizki - 4 publications, 2 shared
Hutchinson, Michael - 2 publications, 2 shared
Marais, Juliette - 23 publications, 2 shared
Schubert, Lucas Andreas - 12 publications, 1 shared
Dralle, Martin - 2 publications, 1 shared
Gerber, Julien - 1 publications, 1 shared
Schwarzer, Ingo - 1 publications, 1 shared
Grünhäuser, Miriam - 4 publications, 1 shared
Caspar, Mirko - 3 publications, 1 shared
Asbach, Lennart - 10 publications, 6 shared
Röwer, Oliver - 2 publications, 1 shared
Schöne, Stefanie - 4 publications, 1 shared
Vannier, Elodie - 1 publications, 1 shared
Kristoffersson, Ida - 11 publications, 1 shared
Mönsters, Michael - 27 publications, 2 shared
Meirich, Christian - 22 publications, 1 shared
Henning, Arne - 9 publications, 1 shared
Lemmer, Karsten - 47 publications, 11 shared
Schumann, Tilo - 42 publications, 2 shared
Heckmann, Andreas - 14 publications, 1 shared
Niebel, Wolfgang - 24 publications, 1 shared
Wießner, Evamarie - 6 publications, 1 shared
Hungar, Hardi - 18 publications, 7 shared
Winter, Joachim - 51 publications, 1 shared
Scheier, Benedikt - 31 publications, 2 shared
Dittus, Holger - 38 publications, 1 shared
Schnieder, Eckehard - 12 publications, 1 shared
Jellentrup, N. - 1 publications, 1 shared
Ebrecht, Lars - 18 publications, 2 shared
Noack, Thoralf - 15 publications, 2 shared
Reimer, Roland - 2 publications, 1 shared
Gerlach, K. - 1 publications, 1 shared
Eickmann, C. - 1 publications, 1 shared
Lemmer, K. - 2 publications, 1 shared
De Filippis, Monica - 2 publications, 2 shared
Gantz, Oliver - 5 publications, 1 shared
Steinhäuser, Ingo - 1 publications, 1 shared
Torens, Christoph - 20 publications, 1 shared
Hammerl, Malte - 4 publications, 2 shared
Feldmann, Frederike - 2 publications, 1 shared
Eickmann, Carla - 9 publications, 5 shared
Gerlach, Katrin - 7 publications, 5 shared
Grimm, Matthias - 20 publications, 13 shared
Pelz, Markus - 22 publications, 7 shared
Urech, Alvaro - 1 publications, 1 shared
Jose, Maria - 1 publications, 1 shared
Jaschke, Klaus - 5 publications, 1 shared
Geistler, Alexander - 5 publications, 1 shared
Hensel, Stefan - 4 publications, 1 shared
May, Jörg - 2 publications, 1 shared
Gu, Xiaogang - 3 publications, 2 shared
Strang, Thomas - 21 publications, 3 shared
Hartwig, Katrin - 7 publications, 5 shared
Jaschke, Klaus Peter - 2 publications, 1 shared
Schlingelhof, Marius - 4 publications, 1 shared
Giszczak, Adam - 1 publications, 1 shared
Zukunft, Detlef - 1 publications, 1 shared
Schäfer, Ralf-peter - 14 publications, 1 shared
Lenz, Barbara - 93 publications, 1 shared
Schrank, Stefan - 1 publications, 1 shared
Schnieder, E. - 2 publications, 1 shared
Schulz, H. -m. - 1 publications, 1 shared
Chart of publication period
2021
2019
2018
2017
2016
2015
2014
2013
2012
2011
2009
2008
2007
2006
2005
2000

book

Test case generation from formal specifications on the example of train control systems

  • Schnieder, E.
  • Meyer Zu Horste, Michael
  • Schulz, H. -m.
Abstract

Topics
  • control system
  • specification
  • railroad train
  • train control system