Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Zhou, Tingliang"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
IEEE Transactions on Intelligent Transportation Systems; December 2023, Vol. 24 Issue: 12 p15146-15157, 12p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
SCIENTIA SINICA Informationis. 44:70-90
It is necessary and competitive to verify the desired safety properties on the changed implementation during the maintenance phase of a safety critical system. Software model checking and program veri cation are the popular applied automatic safety v
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0f007efa429016662e13893a7ad5391f
https://doi.org/10.1360/n112013-00140
https://doi.org/10.1360/n112013-00140
Autor:
Jia, Meng, Wen, Jinxiu, Lan, Peisheng, Liu, Bo, Li, Shichang, Zhou, Tingliang, Li, Zi, Luo, Jianyi, Wu, Rihui
Publikováno v:
Advanced Sensor Research; May 2024, Vol. 3 Issue: 5
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Perspectives of System Informatics (9783319415789); 2016, p325-340, 16p
Publikováno v:
2015 Asia-Pacific Software Engineering Conference (APSEC); 2015, p301-308, 8p
Publikováno v:
2014 21st Asia-Pacific Software Engineering Conference; 2014, p43-46, 4p