Formal Techniques in Real-Time and Fault-Tolerant Systems
4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings
Sorozatcím: Lecture Notes in Computer Science; 1135;
-
8% KEDVEZMÉNY?
- A kedvezmény csak az 'Értesítés a kedvenc témákról' hírlevelünk címzettjeinek rendeléseire érvényes.
- Kiadói listaár EUR 53.49
-
22 690 Ft (21 609 Ft + 5% áfa)
Az ár azért becsült, mert a rendelés pillanatában nem lehet pontosan tudni, hogy a beérkezéskor milyen lesz a forint árfolyama az adott termék eredeti devizájához képest. Ha a forint romlana, kissé többet, ha javulna, kissé kevesebbet kell majd fizetnie.
- Kedvezmény(ek) 8% (cc. 1 815 Ft off)
- Discounted price 20 874 Ft (19 880 Ft + 5% áfa)
22 690 Ft
Beszerezhetőség
Becsült beszerzési idő: A Prosperónál jelenleg nincsen raktáron, de a kiadónál igen. Beszerzés kb. 3-5 hét..
A Prosperónál jelenleg nincsen raktáron.
Why don't you give exact delivery time?
A beszerzés időigényét az eddigi tapasztalatokra alapozva adjuk meg. Azért becsült, mert a terméket külföldről hozzuk be, így a kiadó kiszolgálásának pillanatnyi gyorsaságától is függ. A megadottnál gyorsabb és lassabb szállítás is elképzelhető, de mindent megteszünk, hogy Ön a lehető leghamarabb jusson hozzá a termékhez.
A termék adatai:
- Kiadás sorszáma 1996
- Kiadó Springer
- Megjelenés dátuma 1996. augusztus 21.
- Kötetek száma 1 pieces, Book
- ISBN 9783540616481
- Kötéstípus Puhakötés
- Terjedelem490 oldal
- Méret 235x155 mm
- Súly 1530 g
- Nyelv angol
- Illusztrációk X, 490 p. 0
Kategóriák
Hosszú leírás:
This volume constitutes the refereed proceedings of the Fourth International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFTS '96, held in Uppsala, Sweden, in September 1996.
The 22 revised full papers presented were selected from a total of 61 submissions; also included are three invited contributions and five tools demonstrations. The papers are organized in sections on state charts, timed automata, duration calculus, case studies, scheduling, fault tolerance, specification, and verification.
Springer Book Archives
Tartalomjegyzék:
On the semantics of group communication.- Unifying verification paradigms.- Formal methods for early fault detection.- Retiming techniques for Statecharts.- Compiling Argos into Boolean equations.- Real-time mode-machines.- A calculus for timed automata.- Minimizable timed automata.- Weak chop inverses and liveness in Mean-Value Calculus.- Synthesizing controllers from Duration Calculus.- Sampling semantics of Duration Calculus.- The production cell: A verified real-time system.- Verification-driven development of a collision-avoidance protocol for the Ethernet.- Exhaustive computation of the scheduled task execution sequences of a real-time application.- Scheduling Data Flow programs in Hard Real-Time environments.- Dynamic scheduling in the presence of faults: Specification and verification.- Efficient broadcasting on faulty star networks.- Model checking for extended timed temporal logics.- Partial orders and verification of real-time systems.- Toward a modal theory of types for the ?-calculus.- Graphical formalization of real-time requirements.- On specifying real-time systems in a causality-based setting.- Verification of embedded systems using synchronous observers.- Compositionality in real-time shared variable concurrency.- Formal analysis of a real-time kernel specification.- Mona: Decidable arithmetic in practice.- Verifying synchronous reactive systems programmed in ESTEREL.- AutoFocus ? A tool for distributed systems specification.- A tool for translation of VHDL descriptions into a formal model and its application to formal verification and synthesis.- EVGC: A tool for visualizing LOTOS behavioural specifications.
Több
Concepts in Thermal Physics
13 158 Ft
