Title | Citations | PageRank | Year |
---|---|---|---|
Software certification: is there a case against safety cases? | 21 | 1.85 | 2010 |
Control of Parameterized Discrete Event Systems | 12 | 0.70 | 2009 |
Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems | 2 | 0.39 | 2004 |
Investigating Discrete Controllability with Kleene Algebra | 0 | 0.34 | 2003 |