LEADER 00664nam0-22002531i-450- 001 990006982400403321 035 $a000698240 035 $aFED01000698240 035 $a(Aleph)000698240FED01 035 $a000698240 100 $a19990530d19299999km-y0itay50------ba 101 0 $aita 105 $ay-------001yy 200 1 $aEnrico Thovez$fVincenzo Boscarino 210 $aPisa$cNistri-Lischi$d1929 215 $a173 p.$121 cm 700 1$aBoscarino,$bVincenzo$0256954 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990006982400403321 952 $aBIB. BAT.4150$b1157$fBAT 959 $aBAT 996 $aEnrico Thovez$9700881 997 $aUNINA LEADER 02156nam 22004093 450 001 9910672383603321 005 20210901203007.0 035 $a(CKB)4340000000257084 035 $a(MiAaPQ)EBC5296755 035 $a(Au-PeEL)EBL5296755 035 $a(CaONFJC)MIL84 035 $a(OCoLC)1027144146 035 $a(EXLCZ)994340000000257084 100 $a20210901d1987 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aRadiation Protection of Workers (Ionising Radiations). Code of Practice 210 1$aGeneva :$cInternational Labour Organization,$d1987. 210 4$dİ1987. 215 $a1 online resource (46 pages) 311 $a92-2-105996-0 330 $aThe protection of workers against exposure to ionising radiations in the workplace has assumed increasing importance in view of the growing number of work situations in which such radiations are found. This code of practice is intended as a practical guide, whose provisions may be adapted to local conditions. It will be of interest to public authorities and services, employers and workers, specialised radiation protection bodies, enterprises and safety and health committees, and to all those concerned with drawing up instructions on the subject. The following topics are covered: duties and responsibilities; notification, registration and licensing; classification of workers, work areas and working conditions; limitation of radiation exposure (in normal and abnormal conditions); and the radiation protection programme. A glossary of terms is included for reference. 517 $aRadiation Protection of Workers 676 $a363 700 $aOrganization$b International Labour$0865580 712 02$aInternational Labour Office. 712 02$aInternational Programme for the Improvement of Working Conditions and Environment. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910672383603321 996 $aRadiation Protection of Workers (Ionising Radiations). Code of Practice$93045854 997 $aUNINA LEADER 04858nam 22008175 450 001 9910484817003321 005 20251226195638.0 010 $a3-540-79707-6 024 7 $a10.1007/978-3-540-79707-4 035 $a(CKB)1000000000440623 035 $a(SSID)ssj0000317716 035 $a(PQKBManifestationID)11240620 035 $a(PQKBTitleCode)TC0000317716 035 $a(PQKBWorkID)10294830 035 $a(PQKB)10377887 035 $a(DE-He213)978-3-540-79707-4 035 $a(MiAaPQ)EBC4975638 035 $a(MiAaPQ)EBC6709789 035 $a(Au-PeEL)EBL4975638 035 $a(CaONFJC)MIL185520 035 $a(OCoLC)1024280526 035 $a(Au-PeEL)EBL6709789 035 $a(PPN)127049452 035 $a(MiAaPQ)EBC5596516 035 $a(EXLCZ)991000000000440623 100 $a20100301d2008 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal Methods for Industrial Critical Systems $e12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers /$fedited by Stefan Leue, Pedro Merino 205 $a1st ed. 2008. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2008. 215 $a1 online resource (X, 254 p.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v4916 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-79706-8 320 $aIncludes bibliographical references and author index. 327 $aInvited Presentations -- Verification of Embedded Software: From Mars to Actions -- Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel -- Research Papers -- Static Analysis of the Accuracy in Control Systems: Principles and Experiments -- Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code -- Checking the TWIN Elevator System by Translating Object-Z to SMV -- Introducing Time in an Industrial Application of Model-Checking -- Integration of Formal Analysis into a Model-Based Software Development Process -- Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC Scheduler -- Computing Worst-Case Response Times in Real-Time Avionics Applications -- Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization -- An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications -- Model Classifications and Automated Verification -- An Approach to Formalization and Analysis of Message Passing Libraries -- Analysis of a Session-Layer Protocol in mCRL2 -- Automatic Certification of Java Source Code in Rewriting Logic -- Reverse Engineered Formal Models for GUI Testing -- Automatic Interoperability Test Case Generation Based on Formal Definitions. 330 $aThis book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2007, held in Berlin, Germany, in July 2007 - colocated with CAV 2007, the 19th International Conference on Computer Aided Verification. The 15 revised full papers presented together with the abstracts of 2 invited lectures were carefully selected during two rounds of reviewing and improvement from 31 initial submissions. The papers strive to promote research and development for the improvement of formal methods and tools for industrial applications and they are organized in topical sections on control systems, scheduling and time, verification, software, and testing. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v4916 606 $aComputer science 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aComputers, Special purpose 606 $aTheory of Computation 606 $aSoftware Engineering 606 $aComputer Science Logic and Foundations of Programming 606 $aCompilers and Interpreters 606 $aSpecial Purpose and Application-Based Systems 615 0$aComputer science. 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs). 615 0$aComputers, Special purpose. 615 14$aTheory of Computation. 615 24$aSoftware Engineering. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aCompilers and Interpreters. 615 24$aSpecial Purpose and Application-Based Systems. 676 $a005.1/4 686 $a54.52$2bcl 702 $aLeue$b Stefan 702 $aMerino$b Pedro$f1962- 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484817003321 996 $aFormal Methods for Industrial Critical Systems$91921860 997 $aUNINA