Towards the Verification of Hybrid Co-Simulation Algorithms

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-030-04771-9_1
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

A Simulation Tool for Real-Time Hybrid-Cooperative Positioning Algorithms

International Journal of Embedded and Real-Time Communication Systems
Computer Science
2012English

Formal Verification of Conflict Detection Algorithms

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Formal Verification of Hybrid Systems

2011English

Verification Techniques for Distributed Algorithms

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Towards Verification via Supercompilation

2005English

Testing and Verification of the LHCb Simulation

EPJ Web of Conferences
AstronomyPhysics
2019English

Comprehensive Survey of the Hybrid Evolutionary Algorithms

International Journal of Applied Evolutionary Computation
2013English

Formal Verification of IA-64 Division Algorithms

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Fusing Face-Verification Algorithms and Humans

IEEE Transactions on Systems, Man and Cybernetics, Part B (Cybernetics)
2007English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy