Compositional Verification of Concurrent and Real-Time Systems /
Contenido: Introducción; Técnicas de verificación para sistemas concurrentes; Sistemas de transición de etiqueta múltiple; Verificación compositiva usando MLTS; Verificación compositiva usando redes de Petri; Herramientas y experimentos; Retraso del tiempo en la redes de Petri y reducción neta.
Kaydedildi:
| Yazar: | |
|---|---|
| Diğer Yazarlar: | |
| Materyal Türü: | Kitap |
| Dil: | İngilizce |
| Baskı/Yayın Bilgisi: |
Boston, EUA :
Kluwer,
2002, c2002
|
| Seri Bilgileri: | (The Kluwer International Series in Engineering and Computer Science ;
676) |
| Konular: | |
| Etiketler: |
Etiket eklenmemiş, İlk siz ekleyin!
|
| Yer Numarası: |
004. 35 JUA
|
||
|---|---|---|---|
| Ejemplar 0500091629 |
Disponible
Préstamo 7 días a 90
|
Koleksiyon:
Colección General
|
Notlar:
Ubicar en Nivel 1 Área de Colección General
|