Titel

Merkliste
1 Ergebnisse

Translation-based co-verification:

, In: Proceedings of the 2nd ACM/IEEE International Conference on Formal Methods and Models for Co-Design,

Xie, F. ; Song, X. ; Chung, H.. - p. 111-120 , 2005

Link: https://dl.acm.org/doi/10.1109/MEMCOD.2005.1487901

RT 
T1 <cTitle>Proceedings of the 2nd ACM/IEEE International Conference on Formal Methods and Models for Co-Design</cTitle>: T1 <Title>Translation-based co-verification</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-1322150&Exemplar=1&LAN=DE
				
A1 Xie, F.
A1 Song, X.
A1 Chung, H.
A1 Ranajoy Nandi
PB IEEE Computer Society
YR 2005
K1 UML
K1 Verilog
K1 bridge module
K1 compositional reasoning
K1 coverification complexity
K1 embedded systems
K1 formal language
K1 hardware coverification
K1 hardware designs
K1 model checkers
K1 networked sensors
K1 software coverification
K1 translation reduction algorithms
K1 translation-based coverification
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 Model checking
SP 111
OP 120
LK http://dx.doi.org/https://dl.acm.org/doi/10.1109/MEMCOD.2005.1487901
DO https://dl.acm.org/doi/10.1109/MEMCOD.2005.1487901
SF ELIB - SuUB Bremen

Export

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