Showing
1 - 1
results of
1
Skip to content
VuFind
Log in
Library Catalogue Plus
Library
Subject guides
Databases
Referencing
Catalogue
Articles Plus
Keyword
Title
Author
Subject
Find
Advanced Search
Search Results - Chaves, Lennon C.
Search Results - Chaves, Lennon C.
Showing
1 - 1
results of
1
Refine Results
Sort
Relevance
Date Descending
Author
Title
1
Loading…
Verifying fragility in digital systems with uncertainties using DSVerifier v2.0
by
Chaves, Lennon C.
,
Ismail, Hussama I.
,
Bessa, Iury V.
,
Cordeiro, Lucas C.
,
de Lima Filho, Eddie B.
Published in
The Journal of systems and software
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
Search Tools:
RSS Feed
Email Search
Save Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Limit To
Peer Reviewed
1 results
1
Full Text
1 results
1
Format
Articles
1 results
1
Journal Title
The Journal Of Systems And Software
1 results
1
Subjects
Bounded Model Checking
1 results
1
Computer Science
1 results
1
Computer Science, Software Engineering
1 results
1
Computer Science, Theory & Methods
1 results
1
Fixed-Point Digital Controllers
1 results
1
Formal Methods
1 results
1
Science & Technology
1 results
1
System Reliability
1 results
1
Technology
1 results
1
Uncertainty
1 results
1
Year of Publication
From:
To:
Source
Sciencedirect®
1 results
1
Sciencedirect Journals
1 results
1