Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 2002
Hermanns, H.
(2002)
On Combining Functional Verification and Performance Evaluation Using CADP.
In: FME 2002: Formal Methods - Getting IT Right, International Symposium of Formal Methods Europe, July 22-24, 2002, Copenhagen, Denmark.
pp. 410-429.
Lecture Notes in Computer Science 2391.
Springer-Verlag.
ISBN 3-540-43928-5
This list was generated on Thu May 24 06:10:42 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||