无力更进
发表于 2025-3-30 11:56:14
Jörg Frauendiener,Salvatore Vultaggioevent fusion (over intersecting state variable lists). A brief motivation is provided for these and other forms of composition of models, in terms of feature-based modelling. We show that model consistency is preserved under such compositions. More significantly we show that model composition preserves refinement.
BANAL
发表于 2025-3-30 12:36:26
http://reply.papertrans.cn/15/1435/143479/143479_52.png
我说不重要
发表于 2025-3-30 18:14:39
http://reply.papertrans.cn/15/1435/143479/143479_53.png
牵索
发表于 2025-3-30 23:31:00
http://reply.papertrans.cn/15/1435/143479/143479_54.png
Ibd810
发表于 2025-3-31 02:25:30
http://reply.papertrans.cn/15/1435/143479/143479_55.png
Ornithologist
发表于 2025-3-31 08:05:38
http://reply.papertrans.cn/15/1435/143479/143479_56.png
杂色
发表于 2025-3-31 11:52:03
http://reply.papertrans.cn/15/1435/143479/143479_57.png
财产
发表于 2025-3-31 16:58:06
http://reply.papertrans.cn/15/1435/143479/143479_58.png
争吵
发表于 2025-3-31 19:54:33
E. Prema,R. Vijaya Bharathi,V. Shyam SundarThis paper is a reprise of a paper presented at ZB2000 that attempted to reconcile the worlds of model-based and axiomatic specification. The new paper uses the same problem, but treats it very differently in Event B. The development also serves as a short tutorial example in Event B.
Ordeal
发表于 2025-3-31 22:58:31
https://doi.org/10.1007/978-3-540-87603-8B method; abstract state machines; access control; automatic verification; complex systems; cryptography;