"A Contribution to Techniques for Building Dependable Software Systems"
"Mark S. Miller" <[email protected]> Wed, 10 Aug 2011 19:42:05 -0700
| Newsgroups | gmane.comp.capabilities.general,gmane.comp.lang.e.general |
|---|---|
| Message-ID | <CABHxS9jhKiSuO60Wi_H84XfV9Qfn7U6LvKchNPW+CUizvmdqLw@mail.gmail.com> |
Interesting paper:
http://www2.fiit.stuba.sk/~kosik/doc/ecbs-eerc-2011.pdf
A Contribution to Techniques for Building Dependable Software Systems
by Matej Kosic and Jiri Safarik
--
Cheers,
--MarkM
_______________________________________________
cap-talk mailing list
[email protected]
http://www.eros-os.org/mailman/listinfo/cap-talk