Concurrency in dependable computing : [Workshop on "Concurrency in Dependable Computing", Newcastle upon Tyne ; a side event of the International Conference on Application of Concurrency to System Design (IACSD) and the 22nd International Conference on Application and Theory of Petri Nets in Newcastle upon Tyne, 2001]

Concurrency in dependable computing [Workshop on "Concurrency in Dependable Computing", Newcastle upon Tyne ; a side event of the International Conference on Application of Concurrency to System Design (IACSD) and the 22nd International Conference on Application and Theory of Petri Nets in Newcastle upon Tyne, 2001]

Machine generated contents note: Part I Role of Modelling and Formalisms for De- -- pendable System Design -- 1 -- Compositional Development in the Event of Interface Differ- 3 -- ence -- Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo and -- Marta Pietkiewicz-Koutny -- 2 -- Model-Based Design o...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Körperschaften: Workshop on Concurrency in Dependable Computing (BerichterstatterIn), International Conference on Application of Concurrency to System Design (BerichterstatterIn), ICATPN (BerichterstatterIn)
Weitere Verfasser: Ezhilchelvan, Paul (HerausgeberIn), Romanovsky, Alexander (BerichterstatterIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Boston, Mass. u.a. Kluwer 2002
Schlagworte:
Parallel processing (Electronic computers) > Computer systems > Reliability > Fault-tolerant computing > Aufsatzsammlung > Zuverlässigkeit > Nebenläufigkeit > Technisches System > Parallelverarbeitung > Fehlertoleranz
Online Zugang:Table of contents
Publisher description
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!