Skip to main content
main-content

Zeitschrift

Formal Aspects of Computing

Formal Aspects of Computing 1/2015

Ausgabe 1/2015

Inhaltsverzeichnis ( 8 Artikel )

01.01.2015 | Original Article | Ausgabe 1/2015

Synthesizing bounded-time 2-phase fault recovery

Borzoo Bonakdarpour, Sandeep S. Kulkarni

01.01.2015 | Original Article | Ausgabe 1/2015

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

01.01.2015 | Original Article | Ausgabe 1/2015

Integrating stochastic reasoning into Event-B development

Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis

01.01.2015 | Original Article | Ausgabe 1/2015

Formal probabilistic analysis of detection properties in wireless sensor networks

Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid

01.01.2015 | Original Article | Ausgabe 1/2015

Verification of distributed systems with the axiomatic system of MSVL

Qian Ma, Zhenhua Duan, Nan Zhang, Xiaobing Wang

01.01.2015 | Original Article | Ausgabe 1/2015

Denotational semantics and its algebraic derivation for an event-driven system-level language

H. Zhu, Jifeng He, Shengchao Qin, Phillip J. Brooke

01.01.2015 | Original Article | Ausgabe 1/2015

Using formal reasoning on a model of tasks for FreeRTOS

Shu Cheng, Jim Woodcock, Deepak D’Souza

01.01.2015 | Original Article | Ausgabe 1/2015

A framework for model transformation verification

Kevin Lano, T. Clark, S. Kolahdouz-Rahimi

Aktuelle Ausgaben

Premium Partner

    Bildnachweise