( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Formal Modeling Approach for Portable Low-Level OS Functionality.

, , и . SEFM, том 12310 из Lecture Notes in Computer Science, стр. 155-174. Springer, (2020)

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.

Aman K K Bhasin

K Beheng

K Schweizerhof

K Schaber

K Bente

 

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

UML in action: a two-layered interpretation for testing., , , и . ACM SIGSOFT Softw. Eng. Notes, 36 (1): 1-8 (2011)Step-Wise Development of Provably Correct Actor Systems., и . ISoLA (1), том 12476 из Lecture Notes in Computer Science, стр. 426-448. Springer, (2020)Combining Algebraic and Model-Based Test Case Generation., и . ICTAC, том 3407 из Lecture Notes in Computer Science, стр. 250-264. Springer, (2004)Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning (Full Version)., , , , , , , , и . CoRR, (2019)Programming Behavioral Test Models for SMT Solving in Scala., , и . ICST Workshops, стр. 52-60. IEEE, (2019)Probabilistic Black-Box Reachability Checking., и . RV, том 10548 из Lecture Notes in Computer Science, стр. 50-67. Springer, (2017)Property-Based Testing with External Test-Case Generators., , и . ICST Workshops, стр. 337-346. IEEE Computer Society, (2017)Model-Based Testing IoT Communication via Active Automata Learning., , и . ICST, стр. 276-287. IEEE Computer Society, (2017)Formal Aspects of Software Engineering - J.UCS Special Issue in Honor of Professor Peter Lucas., , и . J. Univers. Comput. Sci., 7 (8): 629-630 (2001)Require, test, and trace IT., , , , и . Int. J. Softw. Tools Technol. Transf., 19 (4): 409-426 (2017)