| Record Type: |
Electronic resources
: Monograph/item
|
| Title/Author: |
Formal techniques for distributed objects, components, and systems/ edited by Valentina Castiglioni, Adrian Francalanza. |
| Reminder of title: |
44th IFIP WG 6.1 International Conference, FORTE 2024, held as part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024 : proceedings / |
| remainder title: |
FORTE 2024 |
| other author: |
Castiglioni, Valentina. |
| corporate name: |
FORTE (Conference) |
| Published: |
Cham :Springer Nature Switzerland : : 2024., |
| Description: |
xiv, 239 p. :ill. (some col.), digital ;24 cm. |
| [NT 15003449]: |
A Multi Agent Model for Opinion Evolution under Cognitive Biases. -- Weak Simplicial Bisimilarity for Polyhedral Models and SLCSη. -- Noninterference Analysis of Reversible Probabilistic Systems. -- JustAct Actions Universally Justified by Partial Dynamic Policies. -- Synthesis for Prefix FirstOrder Logic on Data Words. -- MAGπ The Role of Replication in Typing Failure Prone Communication. -- Leaf First Zipper Semantics. -- Synthesizing Timed Automata with Minimal Numbers of Clocks from Optimized Timed Scenarios. -- Formally Verifying a Rollback Prevention Protocol for TEEs. -- Network Simulator centric Compositional Testing. -- Adaptable configuration of decentralized monitors. -- AuDaLa is Turing Complete. -- Guess and then Check Controller Synthesis for Safe and Secure Cyber Physical Systems. |
| Contained By: |
Springer Nature eBook |
| Subject: |
Formal methods (Computer science) - Congresses. - |
| Online resource: |
https://doi.org/10.1007/978-3-031-62645-6 |
| ISBN: |
9783031626456 |