Mengfei Yang
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| The stochastic semantics and verification for periodic control systems Science China Information Sciences | 2022-10-28 | Paper |
| A two-way path between formal and informal design of embedded systems Unifying Theories of Programming | 2017-04-04 | Paper |
| Verifying safety critical task scheduling systems in PPTL axiom system Journal of Combinatorial Optimization | 2016-02-23 | Paper |
| Transformation from PLTL to automata via NFGs Journal of Combinatorial Optimization | 2015-02-16 | Paper |
| Deternimization of Büchi automata as partitioned automata Lecture Notes in Computer Science | 2013-06-11 | Paper |
| Bounded model checking for propositional projection temporal logic Lecture Notes in Computer Science | 2013-06-11 | Paper |
| Systematic error analysis and compensation for high accuracy star centroid estimation of star tracker Science China. Technological Sciences | 2011-06-24 | Paper |
Research outcomes over time
This page was built for person: Mengfei Yang
