( en | de | ru )

 

Disambiguation of "Michel, T."

Author of the publication

copydeleteadd this publication to your clipboard
Formalization and proof of design guidelines within the scope of testing formally specified electronic product catalogues.

, and . Interact. Comput., 12 (3): 209-223 (2000)

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.

T Peters

T Frieberg

T Neumann

T Attin

T Dresbach

 

Other publications of authors with the same name

Formalization and proof of design guidelines within the scope of testing formally specified electronic product catalogues., and . Interact. Comput., 12 (3): 209-223 (2000)A 135Mbps DVB-S2 compliant codec based on 64800-bit LDPC and BCH codes (ISSCC paper 24.3)., , , , , , and . DAC, page 547-548. ACM, (2005)Taking Advantage of ASICs to Improve Dependability with Very Low Overheads., , , , and . EDAC-ETC-EUROASIC, page 14-18. IEEE Computer Society, (1994)Design of microprocessors with built-in on-line test., , and . FTCS, page 450-456. IEEE Computer Society, (1990)Generative Adversarial Networks for Scintillation Signal Simulation in EXO-200., , , , , , , , , and 80 other author(s). CoRR, (2023)A New Approach to Control Flow Checking Without Program Modification., , and . FTCS, page 334-343. IEEE Computer Society, (1991)Modelling with CIMOSA: a Case Study., , , and . Production Management Methods, volume B-19 of IFIP Transactions, page 195-203. North-Holland, (1994)Hidden Markov models and the Viterbi algorithm applied to integrated bioinformatics analyses of putative flagellar actin-interacting proteins in Leishmania spp., , , , , , , , and . Int. J. Comput. Aided Eng. Technol., 1 (4): 420-436 (2009)Multi-relational Data Mining for Tetratricopeptide Repeats (TPR)-Like Superfamily Members in Leishmania spp.: Acting-by-Connecting Proteins., , , , , , , , , and 2 other author(s). PRIB, volume 5265 of Lecture Notes in Computer Science, page 359-372. Springer, (2008)Semi-automatic segmentation of vessels by mathematical morphology: application in MRI., , and . ICIP (3), page 1063-1066. IEEE, (2001)