Record link: 
http://hdl.handle.net/20.500.12708/204054
-
Title: 
Attributed Point-to-Point Communication in R-CHECK
en
Citation: 
Abd Alrahman, Y., Azzopardi, S., Di Stefano, L., & Piterman, N. (2024). Attributed Point-to-Point Communication in R-CHECK. In Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems (pp. 333–350). Springer. https://doi.org/10.1007/978-3-031-75107-3_20
-
Publisher DOI: 
10.1007/978-3-031-75107-3_20
-
Publication Type: 
Inproceedings - Full-Paper Contribution
en
Language: 
English
-
Authors: 
Abd Alrahman, Yehia 
Azzopardi, Shaun 
Di Stefano, Luca 
Piterman, Nir 
-
Organisational Unit: 
E191-01 - Forschungsbereich Cyber-Physical Systems 
-
Published in: 
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 
-
ISBN: 
978-3-031-75107-3
-
Volume: 
15220
-
Date (published): 
2024
-
Event name: 
12th International Symposium Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) 
en
Event date: 
27-Oct-2024 - 31-Oct-2024
-
Event place: 
Heraklion, Greece
-
Number of Pages: 
18
-
Publisher: 
Springer
-
Peer reviewed: 
Yes
-
Keywords: 
multi agent systems; reconfiguration; formal verification; model checking; process algebra
en
Project (external): 
ERC
Vetenskaprådet
Vetenskaprådet
-
Project ID: 
772459
2020-03401
2020-04963
-
Research Areas: 
Computer Science Foundations: 70%
Modeling and Simulation: 30%
-
Science Branch: 
1020 - Informatik: 100%
-
Appears in Collections:
Conference Paper

Show full item record

Page view(s)

56
checked on Nov 11, 2024

Download(s)

1
checked on Nov 11, 2024

Google ScholarTM

Check