Agregatinių specifikacijų saugumo ir gyvybingumo tyrimo sistema
It is notoriously difficult to define, or even to understand, the behavior of a system of interacting asynchronous processes. Improbable sequences of events that lead to errors are easily overlooked by a protocol designer. If such errors occur in practice, they will be virtually irreproducible and v...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Dissertation |
| Language: | Lithuanian |
| Published: |
Lithuanian Academic Libraries Network (LABT)
2006
|
| Subjects: | |
| Online Access: | http://vddb.library.lt/fedora/get/LT-eLABa-0001:E.02~2006~D_20060531_184130-91336/DS.005.0.02.ETD |