Gnomit / Keyword Search / Info
Gnomit ? ? ?
Results 1 - 2 of 2 for:
b-method
1 ?
 21,213,375 websites (safe search)

  1. B method : presentation of B Method, B Language, and formal methods.

    This site is designed to present different work and subjects for consideration by Clearsy concerning the B method, a formal method with proof.
    systems4
    r&d2
    RODIN1
    brama1
    atelier b1
    formal method1
    safety critical systems1
    b4free1
    clearsy1
    b method1
    b-method1
    b news1
    composys1
    b language1
    b plugins1
    b projects1
    b tools1

    bmethod.com - 2009-04-11

  2. B-Core, The B-Technology Company: Home Page

    B-Core & the B-Toolkit
    animation4
    teaching3
    automation3
    proof2
    sorensen1
    gsl1
    neilson1
    university teaching1
    amn1
    formal methods1
    object orientated1
    formal method1
    tool support1
    b-method1
    bcore1
    structured methods1
    automatic proof1
    btechnology1
    automated proof0
    automated tool support0
    b-core0
    bmethod0
    b-technology0
    btool0
    b-tool0
    btoolkit0
    b-toolkit0
    proof tool0
    structured method0
    zero defect software0

    www.b-core.com - 2009-02-07

reliability2 formal method1 security4 quality assurance2 use case1 systems4 formal methods1 software verification1 control3 computer security2 testing3 equipment4

About Gnomit
Keywords may contain spaces.
Separate multiple keywords with commas.
Start a new search.
Enter new keyword(s).
Narrow down your search.
Add keyword(s).
Broaden your search.
Click on Keyword to remove from query.