( en | de | ru )

 

Disambiguierung von "Choi, Yunja"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Efficient safety checking for automotive operating systems using property-based slicing and constraint-based environment generation.

, , , und . Sci. Comput. Program., (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Andreas Choi

Chiwon Choi

Bongkyung Choi

Youngmi Choi

Jinsub Choi

 

Weitere Publikationen von Autoren mit dem selben Namen

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., , und . Requir. Eng., 7 (4): 225-242 (2002)Automated Validation of IoT Device Control Programs Through Domain-Specific Model Generation.. SEFM, Volume 10886 von Lecture Notes in Computer Science, Seite 254-268. Springer, (2018)Model Checking Flight Guidance Systems: from Synchrony to Asynchrony.. FMICS, Volume 133 von Electronic Notes in Theoretical Computer Science, Seite 61-79. Elsevier, (2004)Model-Based API-Call Constraint Checking for Automotive Control Software., , und . APSEC, Seite 217-224. IEEE Computer Society, (2016)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)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., , und . WRLA, Volume 8663 von Lecture Notes in Computer Science, Seite 280-296. Springer, (2014)OS-in-the-Loop verification for multi-tasking control software.. Softw. Test. Verification Reliab., (2023)