Mengfei Yang

Available identifiers

zbMath Open yang.mengfeiMaRDI QIDQ247889

List of research outcomes

Publication	Date of Publication	Type
The stochastic semantics and verification for periodic control systems	2022-10-28	Paper
A Two-Way Path Between Formal and Informal Design of Embedded Systems	2017-04-04	Paper
Verifying safety critical task scheduling systems in PPTL axiom system	2016-02-23	Paper
Transformation from PLTL to automata via NFGs	2015-02-16	Paper
Deternimization of Büchi Automata as Partitioned Automata	2013-06-11	Paper
Bounded Model Checking for Propositional Projection Temporal Logic	2013-06-11	Paper
Systematic error analysis and compensation for high accuracy star centroid estimation of star tracker	2011-06-24	Paper

Research outcomes over time

This page was built for person: Mengfei Yang