Revision history of "Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems"

From Murray Wiki

View logs for this page

Jump to navigation Jump to search

Diff selection: Mark the radio boxes of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

curprev 15:08, 19 June 2016‎ Murray talk contribs‎ 6,885 bytes -1‎ undo
curprev 15:08, 19 June 2016‎ Murray talk contribs‎ 6,886 bytes -98‎ undo
curprev 19:13, 11 June 2016‎ Murray talk contribs‎ 6,984 bytes +20‎ undo
curprev 02:48, 11 June 2016‎ Murray talk contribs‎ 6,964 bytes -50‎ undo
curprev 02:47, 11 June 2016‎ Murray talk contribs‎ 7,014 bytes +46‎ undo
curprev 04:54, 10 June 2016‎ Murray talk contribs‎ 6,968 bytes +26‎ undo
curprev 21:05, 24 April 2016‎ Murray talk contribs‎ 6,942 bytes +34‎ undo
curprev 21:04, 24 April 2016‎ Murray talk contribs‎ 6,908 bytes +4‎ undo
curprev 02:50, 26 November 2015‎ Murray talk contribs‎ 6,904 bytes -6‎ undo
curprev 02:14, 26 November 2015‎ Murray talk contribs‎ 6,910 bytes +107‎ →‎Publications undo
curprev 01:42, 26 November 2015‎ Murray talk contribs‎ 6,803 bytes +22‎ undo
curprev 02:21, 8 April 2014‎ Murray talk contribs‎ 6,781 bytes 0‎ undo
curprev 06:48, 9 December 2013‎ Slivings talk contribs‎ 6,781 bytes +255‎ →‎Publications undo
curprev 20:41, 5 December 2013‎ Ewolff talk contribs‎ 6,526 bytes +282‎ →‎Publications undo
curprev 20:39, 5 December 2013‎ Ewolff talk contribs‎ 6,244 bytes +807‎ →‎Publications undo
curprev 16:56, 8 August 2013‎ Murray talk contribs‎ 5,437 bytes 0‎ →‎Publications undo
curprev 04:23, 13 May 2013‎ Murray talk contribs‎ 5,437 bytes +565‎ →‎Publications undo
curprev 01:44, 5 May 2013‎ Murray talk contribs‎ 4,872 bytes -356‎ →‎Publications undo
curprev 23:52, 17 April 2013‎ Murray talk contribs‎ 5,228 bytes 0‎ undo
curprev 15:46, 16 October 2012‎ Murray talk contribs‎ 5,228 bytes +35‎ undo
curprev 21:11, 1 October 2012‎ Murray talk contribs‎ 5,193 bytes +2,678‎ →‎Publications undo
curprev 04:30, 23 July 2012‎ Murray talk contribs‎ 2,515 bytes -11‎ →‎Publications undo
curprev 04:28, 23 July 2012‎ Murray talk contribs‎ 2,526 bytes 0‎ undo
curprev 04:28, 23 July 2012‎ Murray talk contribs‎ 2,526 bytes -16‎ →‎Publications undo
curprev 19:59, 22 February 2012‎ Murray talk contribs‎ 2,542 bytes +330‎ →‎Publications undo
curprev 19:57, 22 February 2012‎ Murray talk contribs‎ 2,212 bytes +114‎ →‎Software undo
curprev 19:56, 22 February 2012‎ Murray talk contribs‎ 2,098 bytes -40‎ undo
curprev 19:55, 22 February 2012‎ Murray talk contribs‎ 2,138 bytes +120‎ undo
curprev 19:47, 22 February 2012‎ Murray talk contribs‎ 2,018 bytes +2,018‎ Created page with '{| width=100% |- valign=top | width=40% | Current participants: * Scott Livingston * {{Pete Trautman}} * {{Ufuk Topcu}} * Eric Wolff* <small><nowiki>* External funding</nowiki><…'

Retrieved from "https://murray.cds.caltech.edu/Correct-by-Construction_Synthesis_of_Control_Protocols_for_Aerospace_Systems"

Navigation menu