ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
2
views
0
references
Top references
cited by
1
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,442
similar
All similar
Record
: found
Abstract
: not found
Conference Proceedings
: not found
Bounded model checking of embedded software in wireless cognitive radio systems
proceedings-article
Author(s):
Nannan He
,
Michael S. Hsiao
Publication date
(Print):
October 2007
Publisher:
IEEE
Conference name:
2007 25th International Conference on Computer Design ICCD 2007
Conference date:
November 7, 2007 - November 10, 2007
Read this article at
ScienceOpen
Publisher
Review
Review article
Invite someone to review
Bookmark
Cite as...
There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Socioecological systems
Author and article information
Conference
Publisher:
IEEE
Publication date:
October 2007
Publication date (Print):
October 2007
Pages
: 19-24
Article
DOI:
10.1109/ICCD.2007.4601875
SO-VID:
212d6309-3796-459c-9cd6-7f295e82466a
Copyright ©
© 2007
Conference name:
2007 25th International Conference on Computer Design ICCD 2007
Conference location:
Lake Tahoe, CA, USA
Conference date:
November 7, 2007 - November 10, 2007
History
Data availability:
Comments
Comment on this article
Sign in to comment
scite_
Similar content
2,442
The efficacy of cognitive-behavioral therapy for eating disorders: A systematic review and meta-analysis.
Authors:
Jake Linardon
,
Tracey D Wade
,
Leah Brennan
…
“Drug delivery systems based on micelles and gels of poloxamines and miltefosine-cyclodextrin complexes for the treatment of leishmaniasis
Authors:
Gonzalez Gaitano
Counterfactual reasoning and learning systems: The example of computational advertising
Authors:
Charles Denis
,
L Bottou
,
J PETERS
…
See all similar
Cited by
1
Cognitive Radio and Networking Research at Virginia Tech
Authors:
A.B. Mackenzie
,
J.H. Reed
,
P. Athanas
…
See all cited by