Graphical modelling for simulation and formal analysis of wireless network protocols

Graphical modelling for simulation and formal analysis of wireless network protocols

Show other versions (1)

Bibliographic Details
Main Authors:	Fehnker, A, Fruth, M, McIver, A
Format:	Conference item
Published:	2007

Similar Items

Graphical modelling for simulation and formal analysis of wireless network protocols
by: Fehnker, A, et al.
Published: (2009)

CaVi: Simulation and Model Checking for Wireless Sensor Networks
by: Boulis, A, et al.
Published: (2008)

Formal methods for the analysis of wireless network protocols
by: Fruth, M
Published: (2011)

Probabilistic Model Checking of Contention Resolution in the IEEE 802.15.4 Low−Rate Wireless Personal Area Network Protocol
by: Fruth, M
Published: (2006)

Second-order wave diffraction by a submerged circular cylinder /
by: 234061 McIver, M., et al.

Graphical wireless sensor network simulation for Tossim and Tinyos (Smartsim) /
by: Mahmood Safaei, 1979-, author, et al.
Published: (2011)

Graphical wireless sensor network simulation for Tossim and Tinyos (Smartsim) /
by: Mahmood Safaei, 1979-, author, et al.
Published: (2011)

Reasoning about efficiency within a probabilistic calculus
by: McIver, A
Published: (1999)

Quantitative program logic and expected time bounds in probabilistic distributed algorithms
by: McIver, A
Published: (2002)

Reasoning about efficiency within a probabilistic μ-calculus
by: McIver, A
Published: (1999)

A formal model of visualization in computer graphics systems /
by: Onodera, Tamiya, 1959-, et al.
Published: (1990)

Women of Power: What Women say as Builders of Secular Architecture in Early Modern Italy
by: Katharine A. McIver
Published: (2017-12-01)

Analysis and Simulation of Wireless Ad-Hoc Network Routing Protocols
by: Mohamed, Abdul Haimid Bashir
Published: (2004)

Formal specification of interactive graphics programming languages /
by: 456219 Mallgren, William R.
Published: (1983)

Partial correctness for probabilistic demonic programs
by: McIver, A, et al.
Published: (2001)

Almost-certain eventualities and abstract probabilities in quantitative temporal logic
by: McIver, A, et al.
Published: (2001)

The marketing mirage : how to make it a reality /
by: 201716 McIver, Colin
Published: (1987)

Ahora todos somos artistas
by: Dominic McIver Lopes
Published: (2013-03-01)

Professional artefacts: evaluating creative outcomes for work-based inquiry
by: Paula McIver Nottingham
Published: (2020-10-01)

How to think about how to think about aesthetic value
by: Dominic McIver Lopes
Published: (2022-12-01)

Understanding operating systems /
by: McHoes, Ann McIver, author, et al.
Published: (2014)

Abstract Hidden Markov Models: a monadic account of quantitative information flow
by: Annabelle McIver, et al.
Published: (2019-03-01)

Formal Verification of a MAC Protocol for Underwater Sensor Networks
by: N. Suresh Kumar, et al.
Published: (2023-01-01)

A simulation based performance analysis of reactive routing protocols in Wireless Mesh Networks
by: Rahman, Md. Arafatur, et al.
Published: (2009)

Mathematic-Graphical Formalization of Switch Point Control Circuit Function
by: Juraj Zdansky, et al.
Published: (2004-01-01)

A novel formal logic for formal analysis of timeliness in non-repudiation protocols
by: Ke Yang, et al.
Published: (2023-09-01)

A Formal Methodology to Design and Deploy Dependable Wireless Sensor Networks
by: Alessandro Testa, et al.
Published: (2016-12-01)

Probabilistic guarded commands mechanized in HOL
by: Hurd, J, et al.
Published: (2005)

Experimental biological protocols with formal semantics
by: Abate, A, et al.
Published: (2018)

A formal analysis of the signal messaging protocol
by: Cohn-Gordon, K, et al.
Published: (2017)

A Formal Analysis of the Mimblewimble Cryptocurrency Protocol
by: Adrián Silveira, et al.
Published: (2021-09-01)

Formal Verification of the xDAuth Protocol
by: Alam, Q., et al.
Published: (2016)

Trump 101 : the way to success /
by: Trump, Donald, 1946-, et al.
Published: (2007)

Trump : think like a billionaire : everything you need to know about success, real estate, and life /
by: Trump, Donald, 1946-, et al.
Published: (2004)

Work and Learning Conference, University of Chester, 29 May 2020
by: Jon Talbot, et al.
Published: (2020-04-01)

Formal analysis of modern security protocols in current standards
by: Horvat, M
Published: (2015)

Formal correctness of security protocols /
by: 275596 Bella, Giampaolo
Published: (2007)

Formally modeling, analyzing, and designing network protocols : a case study on retransmission-based reliable multicast protocols
by: Livadas, Carolos
Published: (2014)

Graphical simulation /
by: 281263 Woodworth, Forrest
Published: (1967)

Simulation of position-based routing protocol in wireless mobile ad hoc network /
by: Liza Abdullah Latiff, author, et al.
Published: (2009)