Author of the publication

Formal component-based modeling and synthesis for PLC systems.

, , , , , , and . Computers in Industry, 64 (8): 1022-1034 (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Formal component-based modeling and synthesis for PLC systems., , , , , , and . Computers in Industry, 64 (8): 1022-1034 (2013)A simulation study of cadaveric liver allocation with a single-score patient prioritization formula., , and . J. Simulation, 7 (2): 109-125 (2013)Cooperative Scheduling for Multimedia Services and Computation Intensive Applications for Cluster Server., and . CCGRID, page 688-693. IEEE Computer Society, (2001)BTI Characterization of MBE Si-Capped Ge Gate Stack and Defect Reduction via Forming Gas Annealing., , , and . IRPS, page 1-4. IEEE, (2019)Linear codes for single error correction in symmetric and asymmetric computational processes., and . IRE Trans. Information Theory, 8 (1): 29-34 (1962)Single error-correcting codes for asymmetric binary channels., and . IRE Trans. Information Theory, 5 (2): 62-66 (1959)Single- and double-adjacent error-correcting codes for arithmetic units (Corresp.)., and . IEEE Trans. Information Theory, 9 (3): 209-210 (1963)Multi-error correcting codes for a binary asymmetric channel., and . IRE Trans. Information Theory, 5 (5): 71-78 (1959)Fundamental Understanding of Oxide Defects in HfO2 and Y2O3 on GaAs(001) with High Thermal Stability., , , , and . IRPS, page 1-4. IEEE, (2019)Error-correcting codes for an asymmetric nonbinary channel (Corresp.).. IRE Trans. Information Theory, 5 (4): 188-190 (1959)