Search Results for spécification.

5 Results Found

00000DEFAULT

Cover image for Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08

Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08

Author

Radetzki, Martin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-9714-0

Format:

Availability

Online Library~1

Available:
Copies:

Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components

Author

Nicolescu, G. editor. Jerraya, A. A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-6153-0

Format:

Availability

Online Library~1

Available:
Copies:

Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04

Author

Boulet, Pierre. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b136935

Format:

Availability

Online Library~1

Available:
Copies:

The profession of modeling and simulation : discipline, ethics, education, vocation, societies, and economics

Author

Tolk, Andreas, editor. Ören, Tuncer I., editor.

Preferred Shelf Number

QA10.5

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119288091

Format:

Availability

Online Library~1

Available:
Copies:

Multi-agent systems : simulation and applications

Author

Uhrmacher, Adelinde. Weyns, Danny.

Preferred Shelf Number

QA76.76 .I58 M864 2009

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}