Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by José Soler
The MODUS Approach to Formal Verification
Business Systems Research
Information Systems
Finance
Economics
Management Information Systems
Innovation
Management of Technology
Econometrics
Capacity Gain With an Alternative LTE Railway Communication Network
Related publications
Formal Based Verification to Build Safer Cars
International Journal of Computer Applications
Formal Specification and Verification
How to Avoid the Formal Verification of a Theorem Prover
Logic Journal of the IGPL
Philosophy
Verification of Invariant Properties of Business Process Based on Formal Approach
Formal Verification of Pipelined Processors
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Verification of NTRUEncrypt Scheme
International Journal of Computer Network and Information Security
Formal Verification of Netlog Protocols
Formal Verification of Hybrid Systems
Formal Verification of Evolutionary Changes
