资源描述：
《Formal methods for industrial critical systems 2012》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。
1、FORMALMETHODSFORINDUSTRIALCRITICALSYSTEMSFORMALMETHODSFORINDUSTRIALCRITICALSYSTEMSASurveyofApplicationsEditedbySTEFANIAGNESIIstitutodiScienzaeTecnologiedell'Informazione,ConsiglioNazionaledelleRicerche,Pisa,ItalyTIZIANAMARGARIAUniversityofPotsdam,Potsdam,Ger
2、manyAJOHNWILEY&SONS,INC.,PUBLICATIONCoverPhotograph:CourtesyofStefaniaGnesiandTizianaMargariaCoverDesign:JohnWiley&Sons,Inc.Copyright©2013byIEEE.Allrightsreserved.PublishedbyJohnWiley&Sons,Inc.,Hoboken,NewJersey.PublishedsimultaneouslyinCanada.Nopartofthispu
3、blicationmaybereproduced,storedinaretrievalsystem,ortransmittedinanyformorbyanymeans,electronic,mechanical,photocopying,recording,scanning,orotherwise,exceptaspermittedunderSection107or108ofthe1976UnitedStatesCopyrightAct,withouteitherthepriorwrittenpermissi
4、onofthePublisher,orauthorizationthroughpaymentoftheappropriateper-copyfeetotheCopyrightClearanceCenter,Inc.,222RosewoodDrive,Danvers,MA01923,978-750-8400,fax978-646-8600,oronthewebatwww.copyright.com.RequeststothePublisherforpermissionshouldbeaddressedtotheP
5、ermissionsDepartment,JohnWiley&Sons,Inc.,111RiverStreet,Hoboken,NJ07030,(201)748-6011,fax(201)748-6008.LimitofLiability/DisclaimerofWarranty:Whilethepublisherandauthorhaveusedtheirbesteffortsinpreparingthisbook,theymakenorepresentationsorwarrantieswithrespec
6、ttotheaccuracyorcompletenessofthecontentsofthisbookandspecificallydisclaimanyimpliedwarrantiesofmerchantabilityorfitnessforaparticularpurpose.Nowarrantymaybecreatedorextendedbysalesrepresentativesorwrittensalesmaterials.Theadviceandstrategiescontainedhereinm
7、aynotbesuitableforyoursituation.Youshouldconsultwithaprofessionalwhereappropriate.Neitherthepublishernorauthorshallbeliableforanylossofprofitoranyothercommercialdamages,includingbutnotlimitedtospecial,incidental,consequential,orotherdamages.Forgeneralinforma
8、tiononourotherproductsandservicespleasecontactourCustomerCareDepartmentwithintheU.S.at877-762-2974,outsidetheU.S.at317-572-3993orfax317-572-4002.Wileyalsopublishesitsbooksinavarietyofelectronicf
