LEADER 01391nam--2200385---450- 001 990001149100203316 005 20100903100416.0 010 $a88-13-22083-9 035 $a000114910 035 $aUSA01000114910 035 $a(ALEPH)000114910USA01 035 $a000114910 100 $a20030527d1999----km-y0enga50------ba 101 0 $aita 102 $aIT 105 $ay|||z|||001yy 200 1 $aAspetti imprenditoriali dell'attivitą sanitaria$fRiccardo Passeri 210 $aMilano$cCedam$d1999 215 $aX, 98 p.$d24 cm 225 2 $aDipartimento di scienze aziendali dell'Universitą degli Studi di Firenze$iSezione economia e gestione delle imprese 410 0$12001$aDipartimento di scienze aziendali dell'Universitą degli Studi di Firenze$iSezione economia e gestione delle imprese 606 0 $aOspedali$xGestione 676 $a362.11068 700 1$aPASSERI,$bRiccardo$0302110 801 0$aIT$bSalbc$cISBD 912 $a990001149100203316 951 $aXXX.B. Coll. 173/ 11 (X 7 XXXII 13)$b11492 E.C.$cXXX.B. Coll. 173/ 11 (X 7)$d00088171 959 $aBK 969 $aGIU 979 $aMARIA$b10$c20030527$lUSA01$h1259 979 $aALESSANDRA$b90$c20031103$lUSA01$h1330 979 $aPATRY$b90$c20040406$lUSA01$h1720 979 $aRSIAV2$b90$c20100903$lUSA01$h1004 996 $aAspetti imprenditoriali dell'attivitą sanitaria$9983101 997 $aUNISA LEADER 05394nam 22007455 450 001 996465850903316 005 20200704230832.0 010 $a3-540-70653-4 024 7 $a10.1007/3-540-61648-9 035 $a(CKB)1000000000234512 035 $a(SSID)ssj0000323243 035 $a(PQKBManifestationID)11244406 035 $a(PQKBTitleCode)TC0000323243 035 $a(PQKBWorkID)10299389 035 $a(PQKB)10464772 035 $a(DE-He213)978-3-540-70653-3 035 $a(PPN)155191241 035 $a(EXLCZ)991000000000234512 100 $a20121227d1996 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal Techniques in Real-Time and Fault-Tolerant Systems$b[electronic resource] $e4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings /$fedited by Bengt Jonsson, Joachim Parrow 205 $a1st ed. 1996. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1996. 215 $a1 online resource (X, 490 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1135 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-61648-9 327 $aOn 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. 330 $aThis 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. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v1135 606 $aComputers 606 $aProgramming languages (Electronic computers) 606 $aOperating systems (Computers) 606 $aComputer logic 606 $aSpecial purpose computers 606 $aMicroprocessors 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aOperating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14045 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030 606 $aProcessor Architectures$3https://scigraph.springernature.com/ontologies/product-market-codes/I13014 615 0$aComputers. 615 0$aProgramming languages (Electronic computers). 615 0$aOperating systems (Computers). 615 0$aComputer logic. 615 0$aSpecial purpose computers. 615 0$aMicroprocessors. 615 14$aTheory of Computation. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aOperating Systems. 615 24$aLogics and Meanings of Programs. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aProcessor Architectures. 676 $a004/.33 702 $aJonsson$b Bengt$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aParrow$b Joachim$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465850903316 996 $aFormal Techniques in Real-Time and Fault-Tolerant Systems$91944996 997 $aUNISA