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