PUSSEE Bibliography

File Name	File Size (bytes)	Date Created	File Type
Butler Falampin Timing in B.pdf	85999	30-05-2007 13:56:44	PDF File
Butler Refinement Security.pdf	387106	30-05-2007 13:56:44	PDF File
Butler System Level Rail.pdf	189308	30-05-2007 13:56:46	PDF File
Combining UML and B_2002.pdf	237283	30-05-2007 13:56:50	PDF File
D4.1.3.pdf	712724	30-05-2007 13:56:51	PDF File
Event Driven Distr. Program Constr.pdf	308997	30-05-2007 13:56:55	PDF File
Event Driven Electronic Circuit Constr.pdf	322756	30-05-2007 13:57:01	PDF File
Event Driven Seq. Progr Constr.pdf	273165	30-05-2007 13:57:05	PDF File
Event Driven Syst Constr.pdf	276881	30-05-2007 13:57:08	PDF File
EventB_reference_manual.pdf	69524	30-05-2007 13:57:11	PDF File
Evt2b_user_manual.pdf	78213	30-05-2007 13:57:13	PDF File
Formal Refinement in UML-B.pdf	244647	30-05-2007 13:57:13	PDF File
Guidelines to Formal Syst. Studies_V2.1.pdf	137049	30-05-2007 13:57:15	PDF File
index.txt	15	30-05-2007 13:57:18	Text Document
PUSSEE_Unified_Method.pdf	981771	30-05-2007 13:57:18	PDF File
PusseeMethod.pdf	397255	30-05-2007 13:57:18	PDF File
Towards UML profile for UML_B_2003.pdf	502354	30-05-2007 13:57:26	PDF File
U2B link.doc	23552	30-05-2007 13:57:37	Wordpad Document
Using UML_B and U2B for..._2003.pdf	195446	30-05-2007 13:57:37	PDF File