Start
Journals
FIZ Karlsruhe
published by FIZ Karlsruhe GmbH
Start
Contact
Print
General Help
Advanced Search
Anywhere:
Author:
Title:
Source:
Year:
History
1
an:50362136
1
Query form:
Please fill in your query. A complete syntax description you will find on the
General Help
page.
io-port 50362136
Ray, Arnab
;
Ackermann, Christopher
;
Cleaveland, Rance
;
Shelton, Charles P.
;
Martin, Chris
Functional and nonfunctional design verification for embedded software systems
(English)
Advances in Computers 83, 277-321 (2011).
PDF
XML
AMS-TeX
TEXT
BIBTeX
DOI
© 2013 FIZ Karlsruhe GmbH
Contact
|
Copyright
|
Terms & Conditions
|
Site Map
|
Webmaster