Limit Search Results
Author
Language
Publication Date
-
Subject
Library
Switch to list view
Switch to thumbnail view
Select an Action
3 Results Found Subscribe to search results
000DEFAULT
Print
1. 
Cover image for Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Author 
Przigoda, Nils. author. Wille, Robert. author. Przigoda, Judith. author. Drechsler, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72814-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for High Quality Test Pattern Generation and Boolean Satisfiability
High Quality Test Pattern Generation and Boolean Satisfiability
Author 
Eggersglüß, Stephan. author. Drechsler, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-9976-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Robustness and Usability in Modern Design Flows
Robustness and Usability in Modern Design Flows
Author 
Fey, Görschwin. author. Drechsler, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6536-1
Format: 
Availability 
Online Library~1
Available:
Copies: