Number of the records: 1
Symbolic-Numeric Problems in the Automatic Analysis and Verification of Cyber-Physical Systems
- 1.RATSCHAN, S. Symbolic-Numeric Problems in the Automatic Analysis and Verification of Cyber-Physical Systems. In: KAI, H., SEKIGAWA, H., eds. SNC '09: Proceedings of the 2009 conference on Symbolic numeric computation. New York: ACM, 2009, s. 7-7. ISBN 978-1-60558-664-9. Available: doi: 10.1145/1577190.1577195.
Number of the records: 1