Component Based System Modelling for Easier Verification


Editor(s):
Ezhilchevan, P.
Romanovsky, Alexander
Published in:
Concurrency in Dependable Computing, 61 - 86
Year:
2002
Publisher:
Kluwer
Keywords:
Laboratories:




 Record created 2005-09-20, last modified 2018-01-27


Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)