Piste: • freeboard

The FreeBoard

Computer and time

Edward A. Lee. Computing needs time. COMMUNICATIONS OF THE ACM, 52(5), 2009. University of California, Berkeley

A part of the formal methods History

garavel-fm-14-v7-grenoble.pdf

Link to HOP slides (open with Google Chrome)

ejcp14.tar.gz

 


freeboard.txt · Dernière modification: 2014/06/24 16:44 par Clément Poncelet