Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Christian Johansen
Efficient Verification of Railway Infrastructure Designs Against Standard Regulations
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software
Related publications
Normative Juridical Review Comparison of Land Acquisition Regulations for Railway Infrastructure Between Indonesia and Malaysia
Jurnal Perkeretaapian Indonesia (Indonesian Railway Journal)
BDD-based Verification of Scalable Designs
Facta universitatis - series: Electronics and Energetics
Composite Indicator for Railway Infrastructure Management
Journal of Modern Transportation
Electronic Engineering
Computer Science Applications
Electrical
Mechanical Engineering
Transportation
Efficient Design and Evaluation of Countermeasures Against Fault Attacks Using Formal Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modular Verification of Collaboration-Based Software Designs
ACM SIGSOFT Software Engineering Notes
Difference Research of Ukrainian and European Railway Infrastructure
Science and Transport Progress. Bulletin of Dnipropetrovsk National University of Railway Transport
Development of Suburban Railway Transport Infrastructure in Irkutsk Region
Modern technologies. System analysis. Modeling
Concurrency-Oriented Verification and Coverage of System-Level Designs
ACM Transactions on Design Automation of Electronic Systems
Computer Science Applications
Electronic Engineering
Computer Graphics
Electrical
Computer-Aided Design
Effect of Regulations and Treatment Technologies on Water Distribution Infrastructure
Journal of the American Water Works Association
Water Science
Chemistry
Technology
