我没有强迫 发表于 2025-3-25 04:17:18

http://reply.papertrans.cn/71/7021/702041/702041_21.png

Obsessed 发表于 2025-3-25 08:06:44

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/o/image/702041.jpg

结束 发表于 2025-3-25 13:45:58

https://doi.org/10.1007/978-3-540-32008-1abstract state machines; algorithms; continuous time systems; discrete time systems; hybrid systems; mode

Chipmunk 发表于 2025-3-25 17:03:28

Overviewe real numbers. This allows to use a discrete base formalism for the description of timed algorithms where system behaviors can be interpreted very straightforwardly in a timed manner without sacrificing that much precision.

Aprope 发表于 2025-3-25 20:22:54

http://reply.papertrans.cn/71/7021/702041/702041_25.png

Spirometry 发表于 2025-3-26 01:00:18

http://reply.papertrans.cn/71/7021/702041/702041_26.png

CHOP 发表于 2025-3-26 06:52:40

http://reply.papertrans.cn/71/7021/702041/702041_27.png

DEMUR 发表于 2025-3-26 12:07:05

http://reply.papertrans.cn/71/7021/702041/702041_28.png

Influx 发表于 2025-3-26 13:49:24

Infinitesimalsning of the calculus. Robinson gives an overview of the use of infinitesimals in the history of the calculus: Leibniz uses infinitely small numbers in the development of the calculus without admitting their existence; he considers them to be useful fictions. De l’Hospital seemed to believe i

宿醉 发表于 2025-3-26 17:17:13

http://reply.papertrans.cn/71/7021/702041/702041_30.png
页: 1 2 [3] 4 5 6
查看完整版本: Titlebook: Operational Semantics for Timed Systems; A Non-standard Appro Heinrich Rust Book 2005 Springer-Verlag Berlin Heidelberg 2005 abstract state