Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 3. 2010
Hermanns, H. and Katoen, J.P.
(2010)
The How and Why of Interactive Markov Chains.
(Invited)
In: Symposium on Formal Methods for Components and Objects, FMCO 2009, 04 - 06 November 2009, Eindhoven, the Netherlands.
pp. 311-337.
Lecture Notes in Computer Science 6286.
Springer Verlag.
ISSN 0302-9743
ISBN 978-3-642-17070-6
2003
Goga, N.
(2003)
A probabilistic coverage for on-the-fly test generation algorithms.
In: Proceedings of the 3rd Automated Verification of Critical Systems (AVoCS '03), 2-3 April 2003, Southampton, UK.
Technical Report DSSE-TR-2003-2.
ECS, University of Southampton.
ISBN not assigned
2002
Usenko, Y.S.
(2002)
Linearization of μ-CRL specifications. Extended abstract.
In: 3rd International Workshop on Verification and Computational Logic (VCL2002), Southampton, UK.
Technical Report DSSE-TR-2002-5.
Department of electronics and computer science.
ISBN not assigned
This list was generated on Thu May 24 07:06:40 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||