Mingshu Li

From MaRDI portal
Person:2894566

Available identifiers

zbMath Open li.mingshuMaRDI QIDQ2894566

List of research outcomes





PublicationDate of PublicationType
Attacking the Dimensionality Problem of Parameterized Systems via Bounded Reachability Graphs2012-06-29Paper
A method for testing real-time system based on timed automata2009-03-06Paper
Modified Legendre rational spectral method for Burgers equation on half line2009-03-06Paper
Modified Legendre rational spectral method for the Burgers equation on the half-line2008-08-08Paper
A risk-driven method for prioritizing requirements in iteration development2007-04-05Paper
A method for testing real-time systems based on timed automata2007-04-05Paper
https://portal.mardi4nfdi.de/entity/Q34213422007-02-12Paper
Unifying the software process spectrum2006-10-10Paper
Uniprocessor static priority scheduling with limited priority levels2006-07-12Paper
https://portal.mardi4nfdi.de/entity/Q53144322005-09-05Paper
https://portal.mardi4nfdi.de/entity/Q46739812005-05-09Paper
https://portal.mardi4nfdi.de/entity/Q46756322005-05-06Paper
https://portal.mardi4nfdi.de/entity/Q48239392004-10-28Paper
https://portal.mardi4nfdi.de/entity/Q48239222004-10-28Paper
https://portal.mardi4nfdi.de/entity/Q47100302003-10-16Paper
https://portal.mardi4nfdi.de/entity/Q44121602003-07-14Paper
https://portal.mardi4nfdi.de/entity/Q39479681982-01-01Paper

Research outcomes over time

This page was built for person: Mingshu Li

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2894566&oldid=7457045"
Powered by MediaWiki