M. Jaghouri, M. Sirjani, M. Mousavi, A. Movaghar.
In: Annals of Pure and Applied Logic.
2007
A. Cicchetti, D. D. Ruscio, A. Pierantonio.
In: J. Object Technol..
2007
F. Arbab, M. Sirjani.
In: .
2007
Hossein Hojjat, Hootan Nakhost, M. Sirjani.
In: J. Univers. Comput. Sci..
2007
Abstract:
In the IEEE 802.1D standard for the Media Access Control layer (MAC layer) bridges, there is an STP (Spanning Tree Protocol) definition, based on the algorithm that was proposed by Radia Perlman. In this paper, we give a formal proof for correctness of the STP algorithm by showing that finally a single node is selected as the root of the tree and the loops are eliminated correctly. We use formal i...
M. Sirjani, A. Movaghar, H. Iravanchi, M. Jaghoori, A. Shali.
2007
M. Jaghouri, F. deBoer, M. Sirjani.
In: .
2007
Niusha Hakimipour Niloofar Razavi, M. Sirjani.
2007
Thomas Drakengren, Peter Jonsson, Marcus Bjäreland, S. Nadjm-Tehrani, Anders Henriksson et al.
In: .
2007
Pär J. Ågerfalk, Brian Fitzgerald, H. Holmström, Eoin Ó Conchúir.
In: .
2007
Kaj Hänninen, Jukka Mäki-Turja, M. Bohlin, Jan Carlson, Mikael Nolin.
In: 2006 27th IEEE International Real-Time Systems Symposium (RTSS'06).
2006
J. Gustafsson, Andreas Ermedahl, C. Sandberg, B. Lisper.
In: 2006 27th IEEE International Real-Time Systems Symposium (RTSS'06).
2006
J. Bosch.
In: Commun. ACM.
2006
Abstract:
Addressing the challenges involved in broadening the scope of software product families....
Petter Johansson, Lars Hall, S. Sikström, Betty Tärning, A. Lind.
In: Consciousness and cognition.
2006
Lars Hall, Petter Johansson, S. Sikström, Betty Tärning, A. Lind.
In: Consciousness and Cognition.
2006