Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Hans Vangheluwe
Towards the Verification of Hybrid Co-Simulation Algorithms
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Integrating a Neutral Action Language in a DEVS Modelling Environment
Related publications
A Simulation Tool for Real-Time Hybrid-Cooperative Positioning Algorithms
International Journal of Embedded and Real-Time Communication Systems
Computer Science
Formal Verification of Conflict Detection Algorithms
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Verification of Hybrid Systems
Verification Techniques for Distributed Algorithms
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Towards Verification via Supercompilation
Testing and Verification of the LHCb Simulation
EPJ Web of Conferences
Astronomy
Physics
Comprehensive Survey of the Hybrid Evolutionary Algorithms
International Journal of Applied Evolutionary Computation
Formal Verification of IA-64 Division Algorithms
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Fusing Face-Verification Algorithms and Humans
IEEE Transactions on Systems, Man and Cybernetics, Part B (Cybernetics)
