Titel

Merkliste
1 Ergebnisse

Formal Synthesis of Uncertainty Reduction Controllers:

, In: Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems,

Carwehl, Marc ; Imrie, Calum ; Vogel, Thomas... - p. 2-13 , 2024

Link: https://dl.acm.org/doi/10.1145/3643915.3644095

RT 
T1 <cTitle>Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems</cTitle>: T1 <Title>Formal Synthesis of Uncertainty Reduction Controllers</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-3644095&Exemplar=1&LAN=DE
				
A1 Carwehl, Marc
A1 Imrie, Calum
A1 Vogel, Thomas
A1 Rodrigues, Genaína
A1 Calinescu, Radu
A1 Grunske, Lars
PB ACM
YR 2024
K1 controller synthesis
K1 uncertainty
K1 self-adaptive systems
K1 Computer systems organization
K1 Dependable and fault-tolerant systems and networks
K1 Reliability
K1 Embedded and cyber-physical systems
K1 Robotics
K1 Robotic autonomy
K1 Software and its engineering
K1 Software organization and properties
K1 Software system structures
K1 Software architectures
K1 Layered systems
K1 Software system models
K1 Model-driven software engineering
K1 Software functional properties
K1 Formal methods
SP 2
OP 13
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/3643915.3644095
DO https://dl.acm.org/doi/10.1145/3643915.3644095
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)