Search Results for Systems engineering.

5 Results Found

00000DEFAULT

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:

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:

Debugging at the Electronic System Level

Author

Rogin, Frank. author. Drechsler, Rolf. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-90-481-9255-7

Format:

Availability

Online Library~1

Available:
Copies:

Quality-Driven SystemC Design

Author

Große, Daniel. author. Drechsler, Rolf. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-90-481-3631-5

Format:

Availability

Online Library~1

Available:
Copies:

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:

	{displayName}	{count}
{error}