Wikia

0 Talk

Virtual Library

Category page

“Formal methods are mathematical techniques for developing computer-based software and hardware...

Formal methods

Z notation

“This document contains some pointers to publications concerning formal methods, especially those...

Publications

“This document contains some pointers to information relating to the , and its associated tool suppor

B-Method

“Please contact Jonathan Bowen if you know of relevant online information not included here. This...

Safety-critical systems

“CCS (Calculus of Communicating Systems) is an algebra for specifying and reasoning about...

Who's who

“Please edit this page with information on formal methods companies. Alternatively, please...

Companies

“Please add information and links relevant to ' to this page. Alternatively, please contact...

Concurrent systems

Pages in category "Virtual Library"

The following 25 pages are in this category, out of 25 total.

Formal methods

A

B

B-Method

C

E

Education

H

L

Logic programming

M

Meetings

O

P

R

Repositories

S

Latest Photos

Add a Photo

100photos on this wiki

by Jpbowen
2010-11-06T03:56:25Z
Posted in BCS-FACS, more...
by Perseil
2010-07-15T13:11:55Z
Posted in UML&FM'2010:
by Jpbowen
2010-06-23T18:16:56Z
Posted in FM2011, more...
by Jpbowen
2009-10-28T00:26:25Z
Posted in GC6, more...
by Jpbowen
2009-06-06T20:03:12Z
Posted in Peter Landin
by Eerke
2009-05-20T12:57:41Z
Posted in User:Eerke
by Jpbowen
2009-04-08T12:36:21Z
Posted in Museophile Limited
by Jpbowen
2009-04-02T14:39:54Z
Posted in Wikipedia
by Jpbowen
2009-03-25T22:33:00Z
Posted in ProCoS-WG
by Jpbowen
2009-03-25T21:34:59Z
Posted in ProCoS II
by Jpbowen
2009-03-25T21:26:04Z
Posted in ProCoS II
See all photos

Wikia

Formal Methods Wiki

Virtual Library

Category page

Pages in category "Virtual Library"

A

B

C

E

H

L

M

O

P

R

S

T

V

W

Z

Pages on Formal Methods Wiki

Latest Photos

Recent Wiki Activity