( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Constraint-based test generation for automotive operating systems.

, и . Softw. Syst. Model., 16 (1): 7-24 (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.

Andreas Choi

Youngmi Choi

Jinchul Choi

Chiwon Choi

Bongkyung Choi

 

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

A configurable V&V framework using formal behavioral patterns for OSEK/VDX operating systems.. J. Syst. Softw., (2018)Toward Automation for Model-Checking Requirements Specifications with Numeric Constraints., , и . Requir. Eng., 7 (4): 225-242 (2002)Automated Validation of IoT Device Control Programs Through Domain-Specific Model Generation.. SEFM, том 10886 из Lecture Notes in Computer Science, стр. 254-268. Springer, (2018)Model Checking Flight Guidance Systems: from Synchrony to Asynchrony.. FMICS, том 133 из Electronic Notes in Theoretical Computer Science, стр. 61-79. Elsevier, (2004)From NuSMV to SPIN: Experiences with model checking flight guidance systems.. Formal Methods Syst. Des., 30 (3): 199-216 (2007)Model checking Trampoline OS: a case study on safety analysis for automotive software.. Softw. Test. Verification Reliab., 24 (1): 38-60 (2014)Model-Based API-Call Constraint Checking for Automotive Control Software., , и . APSEC, стр. 217-224. IEEE Computer Society, (2016)OS-Aware Interaction Model for the Verification of Multitasking Embedded Software.. IEEE Access, (2020)A Formal Semantics of the OSEK/VDX Standard in $$K$$ Framework and Its Applications., , и . WRLA, том 8663 из Lecture Notes in Computer Science, стр. 280-296. Springer, (2014)OS-in-the-Loop verification for multi-tasking control software.. Softw. Test. Verification Reliab., (2023)