Sign In

Login

Password

Forgot Password ? Sign Up

FDR (software) (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "FDR (software)" in English language version.

refsWebsite
Global rank English rank
3ox.ac.uk
613th place
456th place
2fsel.com
low place
low place
2books.google.com
3rd place
3rd place
1cocotec.io
low place
low place

books.google.com

  • Philippa Broadfoot and Bill Roscoe. Tutorial on FDR and Its Applications. In Klaus Havelund, John Penix, Willem Visser (editors), SPIN model checking and software verification, Springer-Verlag, Lecture Notes in Computer Science, Volume 1885, page 322, 2000.
  • A.W. Roscoe (1994). "Model-checking CSP". A Classical Mind: Essays in Honour of C.A.R. Hoare. Prentice Hall. p. 353. ISBN 9780132948449.

cocotec.io

  • Software: FDR4, with commercial licences obtainable after download and first start

fsel.com

ox.ac.uk

cs.ox.ac.uk