Titel

Merkliste
1 Ergebnisse

Global and Local Deadlock Freedom in BIP:

Attie, Paul C. ; Bensalem, Saddek ; Bozga, Marius...
ACM Transactions on Software Engineering and Methodology (TOSEM). 26 (2018) 3 - p. 1-48 , 2018

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

RT Journal
T1 <Title>Global and Local Deadlock Freedom in BIP</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-3152910&Exemplar=1&LAN=DE
				
A1 Attie, Paul C.
A1 Bensalem, Saddek
A1 Bozga, Marius
A1 Jaber, Mohamad
A1 Sifakis, Joseph
A1 Zaraket, Fadi A.
PB ACM
YR 2018
SN 1049-331X
SN 1557-7392
K1 Alternation
K1 completeness
K1 nondeterminism
K1 Theory of computation
K1 Semantics and reasoning
K1 Program reasoning
K1 Program verification
K1 Software and its engineering
K1 Software organization and properties
K1 Contextual software domains
K1 Operating systems
K1 Process management
K1 Deadlocks
K1 Software functional properties
K1 Formal methods
K1 Model checking
K1 Software creation and management
K1 Software verification and validation
K1 Formal software verification
K1 Software system structures
K1 Software system models
K1 State systems
K1 Correctness
K1 Synchronization
JF ACM Transactions on Software Engineering and Methodology (TOSEM)
VO 26
IS 3
SP 1
OP 48
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/3152910
DO https://dl.acm.org/doi/10.1145/3152910
SF ELIB - SuUB Bremen

Export

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