Skip navigation
SuUB logo
DSpace logo

  • Home
  • Institutions
    • University of Bremen
    • City University of Applied Sciences
    • Bremerhaven University of Applied Sciences
  • Sign on to:
    • My Media
    • Receive email
      updates
    • Edit Account details

Frehse, Stefan

Network Lab Email Alert RSS Feed

  • Profile
  • Publications
  • Other

Profile

Full Name
Frehse, Stefan
 
2 0 20 0 false
 
 
3 0 20 0 false
 
 

Publications
(Others)

Author

  • 1 Frehse, Stefan

Subject

  • 1 80
  • 1 fault tolerance
  • 1 formal methods
  • 1 interpolation
  • 1 robustness
  • 1 SAT
  • 1 soft errors
  • 1 transient faults
  • 1 verification

Date issued

  • 1 2000 - 2025

Type

  • 1 Dissertation

Fulltext

  • 1 With Fulltext

Results 1-1 of 1 (Search time: 0.004 seconds).

Issue DateTitleAuthor(s)
121-Aug-2013Quality and Quantity in Robustness-Checking Using Formal TechniquesFrehse, Stefan 

 

Claim Researcher Page

Contact via feedback form

If you want contact administrator site clicking the follow button 
Legal notice -Feedback -Data privacy
Media - Extension maintained and optimized by Logo 4SCIENCE