Further processing options

Formal Techniques for Distributed Objects, Components, and Systems: 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conferen...

On Bidirectional Runtime Enforcement -- A Multi-Agent Model for Polarization under Confirmation Bias in Social Networks -- A Formalisation of SysML State Machines in mCRL2 -- How Adaptive and Reliable is your Program -- Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petr...

Full Description

Bibliographic Details
Authors and Corporations: Peters, Kirstin (Editor), Willemse, Tim A. C. (Editor)
Other Authors: Peters, Kirstin (HerausgeberIn) , Willemse, Tim A. C. (HerausgeberIn)
Edition: 1st ed. 2021.
Type of Resource: E-Book
Language: English
Cham Springer International Publishing 2021.
Cham Imprint: Springer 2021.
Series: Programming and Software Engineering
Springer eBook Collection
Source: Verbunddaten SWB
ISBN: 9783030780890