PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Kropf, Thomas"

Author of the publication

copydeleteadd this publication to your clipboard
Abstract Testing: Connecting Source Code Verification with Requirements.

, , , , and . QUATIC, page 89-96. IEEE Computer Society, (2010)

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.

Dipl.-Ing. Thomas Kuestner

Scan time reduction in DWI of the pancreas using simultaneous multislice technique with different acceleration factors: how fast can we go?, , , , , , , and . Proceedings of the International Society for Magnetic Resonance in Medicine (ISMRM), Honolulu, Hawaii, USA, (April 2017)

Jun. -Prof. Dr. Thomas Wortmann University of Stuttgart

Multi-protocol Messaging and Streaming Broker for Grasshopper (RabbitMQ_GH), and . Software, (2024)

Thomas Maier

Thomas Maier

Thomas Maier

 

Other publications of authors with the same name

A Flowgraph Semantics of VHDL: Toward a VHDL Verification Workbench in HOL., and . Formal Methods in System Design, 7 (1/2): 73-99 (1995)Coverage Driven Verification applied to Embedded Software., , , , , , and . ISVLSI, page 159-164. IEEE Computer Society, (2007)Formal Specification in VHDL for Hardware Verification., , and . DATE, page 257-263. IEEE Computer Society, (1998)The simulation semantics of systemC., , , , , and . DATE, page 64-70. IEEE Computer Society, (2001)A Synchronous Language for Modeling and Verifying Real Time and Embedded Systems., , , and . MBMV, page 11-20. HNI-Verlagsschriften, (1998)Beschleunigte Robustheitstests für verhaltensbeschreibende Zustandsmaschinen., , , , , , , and . MBMV, page 161-170. Institut für Angewandte Mikroelektronik und Datentechnik, Fakultät für Informatik und Elektrotechnik, Universität Rostock, (2013)Abstract Testing: Connecting Source Code Verification with Requirements., , , , and . QUATIC, page 89-96. IEEE Computer Society, (2010)Formal Data Analysis of Timed Finite State Systems., and . ECRTS, page 257-. IEEE Computer Society, (2002)Control Path Oriented Verification of Sequential Generic Circuits with Control and Data Path., , and . EDAC-ETC-EUROASIC, page 648-652. IEEE Computer Society, (1994)A New Model to Uniformly Represent the Function and Timing of MOS Circuits and its Application to VHDL Simulation., and . EDAC-ETC-EUROASIC, page 343-348. IEEE Computer Society, (1994)