Formal Modelling and Incremental Verification of the MQTT IoT Protocol

Transactions on Petri Nets and Other Models of Concurrency XIV - Lecture Notes in Computer Science ◽

10.1007/978-3-662-60651-3_5 ◽

2019 ◽

pp. 126-145 ◽

Author(s):

Alejandro Rodríguez ◽

Lars Michael Kristensen ◽

Adrian Rutle

Keyword(s):

Formal Modelling

Download Full-text

Formal Modelling of Real-Time Self-Adaptive Multi-Agent Systems

Intelligent Automation & Soft Computing ◽

10.31209/2018.100000012 ◽

2018 ◽

pp. 1-16

Author(s):

Awais Qasim ◽

Syed Raza Kazim

Keyword(s):

Real Time ◽

Multi Agent Systems ◽

Formal Modelling ◽

Agent Systems ◽

Multi Agent ◽

Download Full-text

Limitative results in formal modelling and their philosophical implications: the example of undecidability in the spatialized prisoner's dilemmas

Proceedings of 1994 IEEE International Conference on Neural Networks (ICNN'94) ◽

10.1109/icnn.1994.374552 ◽

2002 ◽

Author(s):

P. Grim

Keyword(s):

Formal Modelling

Download Full-text

Formal modelling of attack scenarios and mitigation strategies in IEEE 1588

10.1145/3487212.3487346 ◽

2021 ◽

Author(s):

Kelvin Anto ◽

Partha S. Roop ◽

Akshya K. Swain

Keyword(s):

Mitigation Strategies ◽

Formal Modelling ◽

Download Full-text

Formal Modelling and Verification of an Interlocking Using mCRL2

Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-27008-7_2 ◽

2019 ◽

pp. 22-39 ◽

Author(s):

Mark Bouwman ◽

Bob Janssen ◽

Bas Luttik

Keyword(s):

Formal Modelling

Download Full-text

Algebraic Formal Modelling for EIGRP using ACP - Formal Description Modelling on EIGRP Routing Protocol

Proceedings of 8th International Conference on Simulation and Modeling Methodologies, Technologies and Applications ◽

10.5220/0006838802590266 ◽

2018 ◽

Author(s):

Pedro Juan Roig ◽

Salvador Alcaraz ◽

Katja Gilly ◽

Carlos Juiz

Keyword(s):

Routing Protocol ◽

Formal Description ◽

Formal Modelling

Download Full-text

Formal modelling vs

Research in the History of Economic Thought and Methodology ◽

10.1016/s0743-4154(06)24001-x ◽

2006 ◽

pp. 1-48 ◽

Author(s):

Daniele Besomi

Keyword(s):

Formal Modelling

Download Full-text

An Even Better Approach – Improving the B.A.T.M.A.N. Protocol Through Formal Modelling and Analysis

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-319-77935-5_12 ◽

2018 ◽

pp. 164-178

Author(s):

Ansgar Fehnker ◽

Kaylash Chaudhary ◽

Vinay Mehta

Keyword(s):

Formal Modelling

Download Full-text

Formal Modelling and Verification of the RTPS Behavior Module

10.1109/tase52547.2021.00028 ◽

2021 ◽

Author(s):

Jiaqi Yin ◽

Huibiao Zhu ◽

Yuan Fei ◽

Qiwen Xu

Keyword(s):

Formal Modelling

Download Full-text

Techniques for Formal Modelling and Analysis of Quantum Systems

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky - Lecture Notes in Computer Science ◽

10.1007/978-3-642-38164-5_18 ◽

2013 ◽

pp. 264-276

Author(s):

Simon J. Gay ◽

Rajagopal Nagarajan

Keyword(s):

Quantum Systems ◽

Formal Modelling

Download Full-text

Formal Modelling and Verification of Service-Oriented Systems in Probabilistic Event-B

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-642-30729-4_17 ◽

2012 ◽

pp. 237-252 ◽

Author(s):

Anton Tarasyuk ◽

Elena Troubitsyna ◽

Linas Laibinis

Keyword(s):

Formal Modelling ◽

Service Oriented

Download Full-text