形式化方法(Formal Methods:Modeling in Event-B)

Professor Jean-Raymond Abrial

教学材料

请注意:有关书籍 Modeling in Event-B 的文献材料仅供课程学习者阅读参考,请勿外传。
序号 幻灯片 (Slides) 文献 (Text) 练习 (Exercise) 答案 (Answer) 其他 (Aux.)
1 A_sld_intro.pdf A_ch1.pdf exer01.pdf   A_prlg.pdf
2     A_sld.door.pdf    
3         1_MAX.zip
4 A_sld.car.pdf (更新)        
5       soln01.pdf  
6     A_sld_bank.pdf    
7     exer03.pdf   03_motor1.zip
8   A_ch2.pdf      
9 A_sld.car.summary1.pdf       2_CAR.zip
10 A_sld_press.pdf A_ch3.pdf      
11         press.zip
12         pattern.zip
14     A_prop.pdf (exer. 04)   04_prop.zip
15     A_Project.pdf (课程大作业)    
16 A_sld.file.pdf (更新) A_ch4.pdf      
16         FILE_1.zip FILE_2.zip
17 A_sld.brp.pdf A_ch6.pdf     BRP.zip
18     A_pred.pdf (exer. 05)   05_pred.zip
19 A_sld.math.pdf        
20 A_sld_math_rdn.pdf A_ch9.pdf      
Oct 17 A_sld.mbl.pdf A_ch12.pdf      
Oct 18     A_set.pdf (exer. 06)   06_set.zip
Oct 19 A_sld.circ.pdf A_ch8.pdf     08_arbiter.zip 08_light.zip 08_orgate.zip 08_pulser.zip 08_road.zip
Oct 24 A_sld_seq.pdf A_ch15.pdf     9_SEQ_bin.zip 9_SEQ_inv.zip 9_SEQ_part.zip 9_SEQ_rev.zip 9_SEQ_search.zip 9_SEQ_sort.zip 9_SEQ_sqrt.zip
Oct 25     A_celebrity.pdf   07_Celebrity.zip
Oct 26 A_sld.door_new.pdf A_ch16.pdf     90_DOORS.zip
Oct 31 A_sld_NS.pdf A_NS.pdf     91_NS_1.zip 91_NS_2.zip
Nov 1     A_library.pdf    
Nov 2 A_sld.tree.pdf A_ch11.pdf     92_TREE_0.zip 92_TREE.zip
Nov 2 A_sld_hv_1.pdf Hypervisor_v3.pdf     93_HV_1.zip

访问次数:97852011.10.18