Search results
From Murray Wiki
Jump to navigationJump to search
- ...eb13_iCyPhy.pdf Review of Caltech correct-by-construction synthesis work (Mumu)]3 KB (362 words) - 21:40, 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
- {{agenda item|5:00p|Mumu}}973 bytes (138 words) - 18:36, 23 February 2010
- {{agenda item|4:30p|Mumu}}2 KB (260 words) - 20:37, 30 March 2010
- * Mumu Xu - Central Coast, June 19 only6 KB (1,041 words) - 23:24, 9 June 2010
- {{agenda item|10:15a|Mumu - 45m}}2 KB (276 words) - 17:03, 28 April 2010
- * MuSyC: Necmiye Ozay and Mumu Xu2 KB (301 words) - 16:00, 11 October 2010
- {{agenda item|7 Jun (Tue)|Mumu}}2 KB (254 words) - 03:50, 30 May 2011