Titel

Merkliste
1 Ergebnisse

An effective framework for assume-guarantee verification of..:

, In: Proceedings of the joint international and annual ERCIM workshops on Principles of software evolution (IWPSE) and software evolution (Evol) workshops,

Hung, Pham Ngoc ; Aoki, Toshiaki ; Katayama, Takuya - p. 109-118 , 2009

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

RT 
T1 <cTitle>Proceedings of the joint international and annual ERCIM workshops on Principles of software evolution (IWPSE) and software evolution (Evol) workshops</cTitle>: T1 <Title>An effective framework for assume-guarantee verification of evolving component-based software</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-1595829&Exemplar=1&LAN=DE
				
A1 Hung, Pham Ngoc
A1 Aoki, Toshiaki
A1 Katayama, Takuya
PB ACM
YR 2009
K1 assume-guarantee reasoning
K1 component evolution
K1 learning algorithm
K1 model checking
K1 modular verification
K1 Software and its engineering
K1 Software creation and management
K1 Software verification and validation
K1 Formal software verification
K1 Software organization and properties
K1 Software functional properties
K1 Formal methods
K1 Theory of computation
K1 Logic
K1 Verification by model checking
K1 Model checking
SP 109
OP 118
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/1595808.1595829
DO https://dl.acm.org/doi/10.1145/1595808.1595829
SF ELIB - SuUB Bremen

Export

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