Titel

Merkliste
1 Ergebnisse

Building high-integrity distributed systems with Ravenscar ..:

, In: Proceedings of the 13th international workshop on Real-time Ada,

Urueña, Santiago ; Zamorano, Juan - p. 29-36 , 2007

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

RT 
T1 <cTitle>Proceedings of the 13th international workshop on Real-time Ada</cTitle>: T1 <Title>Building high-integrity distributed systems with Ravenscar restrictions</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-1316008&Exemplar=1&LAN=DE
				
A1 Urueña, Santiago
A1 Zamorano, Juan
PB ACM
YR 2007
K1 Computing methodologies
K1 Distributed computing methodologies
K1 Distributed programming languages
K1 Software and its engineering
K1 Software notations and tools
K1 General programming languages
K1 Language types
K1 Software organization and properties
K1 Software functional properties
K1 Correctness
K1 Access protection
K1 Language features
K1 Security and privacy
K1 Software and application security
K1 Software security engineering
K1 Computer systems organization
K1 Embedded and cyber-physical systems
K1 Embedded systems
K1 Software system structures
K1 Real-time systems software
K1 Embedded software
SP 29
OP 36
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/1316003.1316008
DO https://dl.acm.org/doi/10.1145/1316003.1316008
SF ELIB - SuUB Bremen

Export

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