Titel

Merkliste
1 Ergebnisse

Formal modeling of synchronization methods for concurrent o..:

, In: Proceedings of the 1999 annual ACM SIGAda international conference on Ada,

Gedela, Ravi K. ; Shatz, Sol M. ; Xu, Haiping - p. 211-220 , 1999

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

RT 
T1 <cTitle>Proceedings of the 1999 annual ACM SIGAda international conference on Ada</cTitle>: T1 <Title>Formal modeling of synchronization methods for concurrent objects in Ada 95</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-319325&Exemplar=1&LAN=DE
				
A1 Gedela, Ravi K.
A1 Shatz, Sol M.
A1 Xu, Haiping
PB ACM
YR 1999
K1 Ada-95
K1 Petri net formalism
K1 concurrent objects
K1 distributed software
K1 synchronization methods
K1 Software and its engineering
K1 Software notations and tools
K1 General programming languages
K1 Language types
K1 Concurrent programming languages
K1 Computing methodologies
K1 Concurrent computing methodologies
K1 Software creation and management
K1 Designing software
K1 Software implementation planning
K1 Software design techniques
K1 Software development process management
K1 Software organization and properties
K1 Contextual software domains
K1 Operating systems
K1 Process management
SP 211
OP 220
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/319294.319325
DO https://dl.acm.org/doi/10.1145/319294.319325
SF ELIB - SuUB Bremen

Export

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