Titel

Merkliste
1 Ergebnisse

Sysfier : Actor-based formal verification of SystemC:

Razavi, Niloofar ; Behjati, Razieh ; Sabouri, Hamideh...
ACM Transactions on Embedded Computing Systems (TECS). 10 (2011) 2 - p. 1-35 , 2011

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

RT Journal
T1 <Title>Sysfier				: Actor-based formal verification of SystemC</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-1880055&Exemplar=1&LAN=DE
				
A1 Razavi, Niloofar
A1 Behjati, Razieh
A1 Sabouri, Hamideh
A1 Khamespanah, Ehsan
A1 Shali, Amin
A1 Sirjani, Marjan
PB ACM
YR 2011
SN 1539-9087
SN 1558-3465
K1 SystemC verification
K1 abstraction methods
K1 actor model
K1 hardware/software co-verification
K1 model checking
K1 General and reference
K1 Cross-computing tools and techniques
K1 Verification
K1 Software and its engineering
K1 Software creation and management
K1 Software verification and validation
K1 Formal software verification
K1 Software development process management
K1 Software organization and properties
K1 Software functional properties
K1 Formal methods
K1 Software verification
K1 Theory of computation
K1 Semantics and reasoning
K1 Program reasoning
K1 Program verification
K1 Logic
K1 Hardware
K1 Emerging technologies
K1 Very large scale integration design
JF ACM Transactions on Embedded Computing Systems (TECS)
VO 10
IS 2
SP 1
OP 35
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/1880050.1880055
DO https://dl.acm.org/doi/10.1145/1880050.1880055
SF ELIB - SuUB Bremen

Export

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