Formal specification and verification of decentralized self-adaptive systems using symmetric nets
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-7594
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Formal specification and verification of decentralized self-adaptive systems using symmetric nets ; volume:31 ; number:4 ; day:5 ; month:8 ; year:2021 ; pages:609-657 ; date:12.2021
Discrete event dynamic systems ; 31, Heft 4 (5.8.2021), 609-657, 12.2021
- Creator
-
Camilli, Matteo
Capra, Lorenzo
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10626-021-00343-3
- URN
-
urn:nbn:de:101:1-2022010718043161062690
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:20 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Camilli, Matteo
- Capra, Lorenzo
- SpringerLink (Online service)
Other Objects (12)
Correction to: Formal specification and verification of decentralized self-adaptive systems using symmetric nets
Symmetric translation nets
Architecting decentralized control in large-scale self-adaptive systems
![Object coordination nets 3.0, [...]. Semantics specification](/assets/placeholder/searchResultMediaNoDigitisedMedia.png)
Object coordination nets 3.0, [...]. Semantics specification
Modular Specification of Self-Adaptive Systems with Models at Runtime using Relational Reference Attribute Grammars
Workshop Concurrency, Specification and Programming, Vol. 1.. Petri nets and automata
Testing Self-Adaptive Systems
A model-based infrastructure for the specification and runtime execution of self-adaptive IoT architectures
D-Nets on rotational surfaces : Equilibrium gridshell layout, symmetric to the principal stress directions
NET : a family of Languages - based on nets - designed for specification of communication systems
Self-adaptive heuristics for evolutionary computation
A self-adaptive burst-detection algorithm
Correction to: Formal specification and verification of decentralized self-adaptive systems using symmetric nets
Symmetric translation nets
Architecting decentralized control in large-scale self-adaptive systems
Object coordination nets 3.0, [...]. Semantics specification
Modular Specification of Self-Adaptive Systems with Models at Runtime using Relational Reference Attribute Grammars
Workshop Concurrency, Specification and Programming, Vol. 1.. Petri nets and automata
Testing Self-Adaptive Systems
A model-based infrastructure for the specification and runtime execution of self-adaptive IoT architectures
D-Nets on rotational surfaces : Equilibrium gridshell layout, symmetric to the principal stress directions
NET : a family of Languages - based on nets - designed for specification of communication systems
Self-adaptive heuristics for evolutionary computation
A self-adaptive burst-detection algorithm
Correction to: Formal specification and verification of decentralized self-adaptive systems using symmetric nets
Symmetric translation nets
Architecting decentralized control in large-scale self-adaptive systems
Object coordination nets 3.0, [...]. Semantics specification
Modular Specification of Self-Adaptive Systems with Models at Runtime using Relational Reference Attribute Grammars
Workshop Concurrency, Specification and Programming, Vol. 1.. Petri nets and automata
Testing Self-Adaptive Systems
A model-based infrastructure for the specification and runtime execution of self-adaptive IoT architectures
D-Nets on rotational surfaces : Equilibrium gridshell layout, symmetric to the principal stress directions
NET : a family of Languages - based on nets - designed for specification of communication systems
Self-adaptive heuristics for evolutionary computation