AIRCRAFT CONFLICT DETECTION AND RESOLUTION
BORGYOS, Szabolcs Andras, MENG, Baoluo, DURLING, Michael Richard, SASWATA, Paul
Year of Publication 04.01.2024
Get full text
Year of Publication 04.01.2024
Patent
AIRCRAFT CONFLICT DETECTION AND RESOLUTION
PAUL, Saswata, BORGYOS, Szabolcs Andras, MENG, Baoluo, DURLING, Michael Richard
Year of Publication 03.01.2024
Get full text
Year of Publication 03.01.2024
Patent
SYSTEMS AND METHODS FOR ARBITRARY SOFTWARE LOGIC MODELING
YU, Han, SIU, Kit Yan, REN, Liling, SYKES, Gregory Reed, STACEY, Scott Alan, DURLING, Michael Richard
Year of Publication 09.10.2024
Get full text
Year of Publication 09.10.2024
Patent
SYSTEMS AND METHODS FOR ARBITRARY SOFTWARE LOGIC MODELING
YU, Han, SIU, Kit Yan, REN, Liling, SYKES, Gregory Reed, STACEY, Scott Alan, DURLING, Michael Richard
Year of Publication 14.08.2024
Get full text
Year of Publication 14.08.2024
Patent
SYSTEMS AND METHODS FOR ARBITRARY SOFTWARE LOGIC MODELING
YU, Han, SIU, Kit Yan, REN, Liling, SYKES, Gregory Reed, STACEY, Scott Alan, DURLING, Michael Richard
Year of Publication 08.05.2024
Get full text
Year of Publication 08.05.2024
Patent
SYSTEME ET PROCEDE POUR TECHNOLOGIE A BASE DE MODELES ET PROCESSUS POUR LA MISE AU POINT D'UN LOGICIEL ESSENTIEL POUR LA SURETE
CRAPO, ANDREW WALTER, YU, HAN, JOHNSON, TIMOTHY LEE, WALSCH, ALEXANDER, DURLING, MICHAEL RICHARD, MANOLIOS, PANAGIOTIS, LI, MENG, SYKES, GREGORY REED, STACEY, SCOTT ALAN, SIU, KIT YAN, PAROLINI, LUCA
Year of Publication 23.12.2022
Get full text
Year of Publication 23.12.2022
Patent
Systems and methods for arbitrary software logic modeling
Ren, Liling, Yu, Han, Sykes, Gregory Reed, Stacey, Scott Alan, Durling, Michael Richard, Siu, Kit Yan
Year of Publication 03.09.2019
Get full text
Year of Publication 03.09.2019
Patent
System and method for safety-critical software automated requirements-based test case generation
Yu Han, Siu Kit Yan, Li Meng, Oliveira Italo, De Conto Augusto Marasca, Durling Michael Richard
Year of Publication 10.04.2018
Get full text
Year of Publication 10.04.2018
Patent
SYSTEMS AND METHODS FOR ARBITRARY SOFTWARE LOGIC MODELING
YU, Han, SIU, Kit Yan, REN, Liling, SYKES, Gregory Reed, STACEY, Scott Alan, DURLING, Michael Richard
Year of Publication 07.11.2018
Get full text
Year of Publication 07.11.2018
Patent
SYSTEMS AND METHODS FOR ARBITRARY SOFTWARE LOGIC MODELING
YU, Han, SIU, Kit Yan, REN, Liling, SYKES, Gregory Reed, STACEY, Scott Alan, DURLING, Michael Richard
Year of Publication 30.08.2018
Get full text
Year of Publication 30.08.2018
Patent