Showing 1 - 5 results of 5 for search '"Formal methods (Computer science)"', query time: 0.05s Refine Results
  1. 1
    Formal methods applied to complex systems : implementation of the B Method /
    Published 2014
    Subjects: “…Formal methods (Computer science)…”
    Full Text via HEAL-Link
    eBook
  2. 2
    Formal methods applied to industrial complex systems /
    Published 2014
    Subjects: “…Formal methods (Computer science)…”
    Full Text via HEAL-Link
    eBook
  3. 3
    Formal methods : industrial use from model to the code /
    Published 2012
    Subjects: “…Formal methods (Computer science)…”
    Full Text via HEAL-Link
    eBook
  4. 4
    Industrial used of formal method : formal verification /
    Published 2012
    Subjects: “…Formal methods (Computer science)…”
    Full Text via HEAL-Link
    eBook
  5. 5
    Formal methods for industrial critical systems : a survey of applications /
    Published 2013
    Subjects: “…Formal methods (Computer science)…”
    Full Text via HEAL-Link
    eBook
Search Tools: RSS Feed – Email Search