01211nam 2200409 450 991046706940332120200520144314.03-8325-9974-6(CKB)4340000000242778(MiAaPQ)EBC5219649(Au-PeEL)EBL5219649(CaPaEBR)ebr11539497(OCoLC)1021805776(EXLCZ)99434000000024277820180519d2012 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierFormal synthesis of safety controller code for distributed controllers /by Dirk MissalBerlin :Logos Verlag,[2012]©20121 online resource (156 pages)3-8325-3147-5 Automatic controlStandardsElectronic books.Automatic controlStandards.670.4275Missal Dirk912195MiAaPQMiAaPQMiAaPQBOOK9910467069403321Formal synthesis of safety controller code for distributed controllers2042533UNINA