Blogmarks.net is a social bookmarking service.

Founded in late 2003 and heartquartered in France, we are non-profit and independant.

We believe in the open web, think internet services should be sustainable, build for the long term.

While we are re-launching the service, we only accept new members through invitation.

PUBLIC MARKS with tags formal & method

17 January 2006 05:00

Formal Methods 2006

by GeorgesMariano

del.icio.us conference method formal

16 January 2006 13:00

The B Formal Method Bibliography

by GeorgesMariano

del.icio.us bibliography bibtex method formal Bmethod

16 January 2006 12:00

The goal of this project is to develop methods and tools that will permit engineers to apply formal specification and verification to high-level designs of concurrent algorithms and systems. We believe this can significantly improve the design process

research del.icio.us software microsoft logic method formal TLA

1 (3 marks)

PUBLIC TAGS related to tag formal

Active users

GeorgesMariano
last mark : 17/01/2006 05:37