( en | de | ru )

 

Disambiguation of "Tummeltshammer, Peter"

Author of the publication

copydeleteadd this publication to your clipboard
Using Formal Methods for Verification and Validation in Railway.

, , and . TAP, volume 9762 of Lecture Notes in Computer Science, page 3-13. Springer, (2016)

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.

Tanja Elisabeth Peters

George Gershwins und Jerome Kerns Musicalsongs: ihre Ähnlichkeit, Wahrnehmung und musikalische Struktur. Uni Köln, (2008)

Andre Peters

Description and determination of soil hydraulic properties on the laboratory scale. TU Braunschweig, (2008)

Jillian Petersen

Diversity and ecology of chemosynthetic symbioses in deep-sea invertebrates. Uni Bremen, (2009)

Robert Martin Peterreins

Musikhörfähigkeit von Patienten mit elektroakustischer Stimulation: Testung anhand des Mu.S.I.C.-Tests. TU München, (2009)

Ilse Peters

 

Other publications of authors with the same name

Security certification experience for industrial cyberphysical systems using Common Criteria and IEC 62443 certifications in certMILS., , , , , , , , , and 18 other author(s). ICPS, page 25-30. IEEE, (2021)RT-Cloud: Virtualization Technologies and Cloud Computing for Railway Use-Case., , , , and . ISORC, page 105-113. IEEE, (2021)Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3., , , , , , , , , and . ICECCS, page 97-106. IEEE, (2019)Using Formal Methods for Verification and Validation in Railway., , and . TAP, volume 9762 of Lecture Notes in Computer Science, page 3-13. Springer, (2016)Threat Modeling in the Railway Domain., , , , , , , , and . RSSRail, volume 11495 of Lecture Notes in Computer Science, page 261-271. Springer, (2019)On the Risk of Fault Coupling over the Chip Substrate., and . DSD, page 325-332. IEEE Computer Society, (2009)The EMC2 Project on Embedded Microcontrollers: Technical Progress after Two Years., , , , , , , , , and 18 other author(s). DSD, page 524-531. IEEE Computer Society, (2016)Replicated processors on a single die - How independently do they fail?, and . Elektrotech. Informationstechnik, 128 (6): 245-250 (2011)Recovery Mechanisms for Dual Core Architectures., , , and . DFT, page 380-388. IEEE Computer Society, (2006)Power supply induced common cause faults-experimental assessment of potential countermeasures., and . DSN, page 449-457. IEEE Computer Society, (2009)