( en | de | ru )

 

Disambiguation of "Meinke, Karl"

Author of the publication

copydeleteadd this publication to your clipboard
Learning-Based Testing for Safety Critical Automotive Applications.

, , and . IMBSA, volume 10437 of Lecture Notes in Computer Science, page 197-211. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Sebastian Meinke

Peter Meinke

Günther Meinke

Peter Meinke

Elmar Meinke

 

Other publications of authors with the same name

Iterative Estimators of Parameters in Linear Models with Partially Variant Coefficients., , , and . Int. J. Appl. Math. Comput. Sci., 17 (2): 179-187 (2007)An Incremental Learning Algorithm for Extended Mealy Automata., and . ISoLA (1), volume 7609 of Lecture Notes in Computer Science, page 488-504. Springer, (2012)Learning-Based Testing of Cyber-Physical Systems-of-Systems: A Platooning Study.. EPEW, volume 10497 of Lecture Notes in Computer Science, page 135-151. Springer, (2017)The Scope and Limits of Synchronous Concurrent Computation., and . Concurrency, volume 335 of Lecture Notes in Computer Science, page 163-180. Springer, (1988)ATLAS: a typed language for algebraic specification, and . Forschungsberichte, TU Munich, (1993)A Stochastic Theory of Black-Box Software Testing.. Essays Dedicated to Joseph A. Goguen, volume 4060 of Lecture Notes in Computer Science, page 578-595. Springer, (2006)Edge-Based Graph Neural Networks for Cell-Graph Modeling and Prediction., , , , , and . IPMI, volume 13939 of Lecture Notes in Computer Science, page 265-277. Springer, (2023)LBTest: A Learning-Based Testing Tool for Reactive Systems., and . ICST, page 447-454. IEEE Computer Society, (2013)IDS: An Incremental Learning Algorithm for Finite Automata, and . CoRR, (2012)Automated black-box testing of functional correctness using function approximation.. ISSTA, page 143-153. ACM, (2004)