SYSTEM AND METHOD FOR MODEL BASED TECHNOLOGY AND PROCESS FOR SAFETY-CRITICAL SOFTWARE DEVELOPMENT
TIMOTHY LEE JOHNSON, LUCA PAROLINI, GREGORY REED SYKES, SCOTT ALAN STACEY, ANDREW WALTER CRAPO, SIU KIT-YAN, YU HAN, DURLING MICHAEL R, ALEXANDER WALSH, PANAGIOTIS MANOLIOS, LI MENG DR
Year of Publication 09.02.2017
Get full text
Year of Publication 09.02.2017
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
Methods and apparatus to facilitate efficient scheduling of digital tasks in a system
Hongwei Liao, Kit Yan Siu, Panagiotis Manolios, Gregory Reed Sykes, Kevin J Jones, Terrell Michael Brace
Year of Publication 20.03.2019
Get full text
Year of Publication 20.03.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
Methods and apparatus to facilitate efficient scheduling of digital tasks in a system
Hongwei Liao, Kit Yan Siu, Panagiotis Manolios, Gregory Reed Sykes, Kevin J Jones, Terrell Michael Brace
Year of Publication 04.04.2018
Get full text
Year of Publication 04.04.2018
Patent
METHODS AND APPARATUS TO FACILITATE EFFICIENT SCHEDULING OF DIGITAL TASKS IN A SYSTEM
MANOLIOS Panagiotis, LIAO Hongwei, BRACE Terrell Michael, SIU Kit Yan, SYKES Gregory Reed, JONES Kevin J
Year of Publication 08.02.2018
Get full text
Year of Publication 08.02.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
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 29.08.2018
Get full text
Year of Publication 29.08.2018
Patent
System and method for model based technology and process for safety-critical software development
Yu, Han, Johnson, Timothy Lee, Parolini, Luca, Manolios, Panagiotis, Crapo, Andrew Walter, Sykes, Gregory Reed, Stacey, Scott Alan, Durling, Michael Richard, Walsch, Alexander, Siu, Kit Yan, Li, Meng
Year of Publication 09.07.2019
Get full text
Year of Publication 09.07.2019
Patent
System and method for safety-critical software automated requirements-based test case generation
Italo Oliveira, Michael Richard Durling, Kit Yan Siu, Meng Li, Augusto Marasca De Conto, Han Yu
Year of Publication 28.06.2017
Get full text
Year of Publication 28.06.2017
Patent