Search results
From Murray Wiki
Jump to navigationJump to search
- * 3:30pm: Mumu, 114 Steele2 KB (224 words) - 18:26, 24 February 2013
- ...eb13_iCyPhy.pdf Review of Caltech correct-by-construction synthesis work (Mumu)]3 KB (362 words) - 21:40, 5 February 2013
File:MXu ControlSynthesis WebEx 4Feb13 iCyPhy.pdf Mumu Xu, Feb 4, iCyPhy EPS Design Driver Telecon, correct-by-construction contro(3.32 MB) - 05:57, 5 February 2013- {{agenda item|3:30-4:15|Mumu}}2 KB (319 words) - 21:59, 6 March 2013
- * Specification and Synthesis of Aircraft Electric Power Systems, Huan (Mumu) Xu (Caltech)3 KB (447 words) - 17:41, 9 May 2013
- * 9:45-10:45: Necmiye, Mumu, Eric, Rangoli1 KB (201 words) - 16:49, 3 June 2013
- * Mumu Xu (30 min)4 KB (530 words) - 19:08, 29 August 2013
- http://www.aero.umd.edu/~mumu/files/wtoxm_HSCC2011.pdf4 KB (547 words) - 17:47, 29 December 2014
- * {{Mumu Xu}}3 KB (446 words) - 02:39, 26 November 2015
- {{agenda item|2:00p|Mumu}}984 bytes (133 words) - 18:54, 18 June 2008
- {{agenda item|2:30p|Mumu}}1 KB (156 words) - 23:47, 27 September 2008
- {{agenda item|25 Feb (Wed)|Mumu}}1 KB (156 words) - 18:36, 7 March 2009
- {{agenda item|1:30p|Mumu}}1 KB (167 words) - 05:38, 28 December 2008
- {{agenda item|6:00p|Mumu}}1 KB (176 words) - 03:13, 28 January 2009
- {{agenda item|5:00p|Mumu}}2 KB (238 words) - 16:38, 28 February 2009
- {{agenda item|5:00p|Mumu}}1 KB (176 words) - 00:33, 30 March 2009
- {{agenda item|1:30p|Mumu}}1 KB (183 words) - 01:05, 14 October 2009
- * Richard, Mumu and Scott will join the discussion600 bytes (76 words) - 07:02, 17 May 2011
- {{agenda item|1:30p|Mumu}}1 KB (208 words) - 13:32, 18 November 2009
- {{agenda item|10:15a| Mumu - 45m}}1 KB (224 words) - 01:30, 14 January 2010
