13 results on '"Tummeltshammer, Peter"'
Search Results
2. Validation of Railway Control Systems
3. Threat Modeling in the Railway Domain
4. Using Formal Methods for Verification and Validation in Railway
5. Security Certification of Cyber Physical Systems for Critical Infrastructure based on the Compositional MILS Architecture
6. RT-Cloud: Virtualization Technologies and Cloud Computing for Railway Use-Case
7. Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3
8. The EMC2 Project on Embedded Microcontrollers: Technical Progress after Two Years
9. On the Risk of Fault Coupling over the Chip Substrate
10. Power supply induced common cause faults-experimental assessment of potential countermeasures
11. On the role of the power supply as an entry for common cause faults—An experimental analysis
12. Recovery Mechanisms for Dual Core Architectures
13. Multiple constant multiplication by time-multiplexed mapping of addition chains
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.