( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Learning-Based Testing for Safety Critical Automotive Applications.

, , и . IMBSA, том 10437 из Lecture Notes in Computer Science, стр. 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.

Günther Meinke

Peter Meinke

Elmar Meinke

Sebastian Meinke

Peter Meinke

 

Другие публикации лиц с тем же именем

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