[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Wish list for a fringe lecture

I’d like to have this explained in 15 minutes: https://www.cs.ox.ac.uk/projects/fdr/manual/references.html#gmrwz03


Michael Goldsmith, Nick Moffat, A. W. Roscoe, Tim Whitworth, and Irfan Zakiuddin Watchdog Transformations for Property-Oriented Model-Checking. FME 2003: Formal Methods. LNCS vol. 2805.


Referred to in the FDR3 document https://www.cs.ox.ac.uk/projects/fdr/manual/cspm/prelude.html


Med vennlig hilsen / Best regards

Øyvind Teig

Senior utviklingsingeniør, siv.ing. / Senior Development Engineer, M.Sc.
Autronica Fire and Security AS
Research and Development 

UTC Building and Industrial Systems

Phone: +47 95961506
oyvind.teig@xxxxxxxxxxxxxxxx, web: www.autronicafire.no



www.teigfam.net/oyvind/home/ (Also tech-related)