The Programmable Logic - Controller and Its
Professional, compatible avec le langage ADL39 (Assertion Definition Language) ... PAPINI H., « Safe programming of PLC using formal verification methods », Proc.
Professional, compatible avec le langage ADL39 (Assertion Definition Language) ... PAPINI H., « Safe programming of PLC using formal verification methods », Proc.