Ausgabe 1/2015
Inhalt (8 Artikel)
Synthesizing bounded-time 2-phase fault recovery
Borzoo Bonakdarpour, Sandeep S. Kulkarni
Modeling and enhancement of the IEEE 802.11 RTS/CTS scheme in an error-prone channel
Mohand Yazid, Djamil Aïssani, Louiza Bouallouche-Medjkoune, Nassim Amrouche, Kamel Bakli
Integrating stochastic reasoning into Event-B development
Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis
Formal probabilistic analysis of detection properties in wireless sensor networks
Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid
Verification of distributed systems with the axiomatic system of MSVL
Qian Ma, Zhenhua Duan, Nan Zhang, Xiaobing Wang
Denotational semantics and its algebraic derivation for an event-driven system-level language
H. Zhu, Jifeng He, Shengchao Qin, Phillip J. Brooke
Using formal reasoning on a model of tasks for FreeRTOS
Shu Cheng, Jim Woodcock, Deepak D’Souza
A framework for model transformation verification
Kevin Lano, T. Clark, S. Kolahdouz-Rahimi