suq564
这家伙很懒，什么也没写
Advances in Verification of Time Petri Nets and Timed Automata
该书介绍了Time Petr Nets 和 Timed Automata,总结了他们的研究成果,对于从事实时系统形式化方面的研究者比较有用。
专业指导 10 0 PDF 2021-05-10 04:05:28
Semantics of probabilistic processes
我们学者在概率系统形式化验证方面的专著,对于形式化验证方向的研究者非常有用。
讲义 11 0 PDF 2021-04-20 13:04:30
Propositional and Predicate Calculus A Model of Argument
这是一本比较系统的介绍mathematicallogic的书。
专业指导 16 0 PDF 2020-06-10 13:06:25
Calculi and Automata for Modelling Untimed and Timed Concurrency Systems
PartIIntroductionPartIIConcurrencyTheory–UntimedModelsPartIIIConcurrencyTheory–FurtherUntimedNotations
Java 23 0 PDF 2019-07-30 03:07:39
Handbook of Practical Logic and Automated Reasoning
Thisbookisaboutcomputerprogramsthatcanperfromautomatedreasoning.
其他 34 0 pdf文档 2019-06-01 08:06:43
Discrete Continuous andHybridPetriNets
系统地介绍了PetriNets的基本概念，性质，以及Non-AutonomousPetriNets，AutonomousContinuousandHybridPetriNets，TimedContinuousPetriNets，TimedHybridPetriNets。
其他 36 0 PDF 2019-05-15 09:05:00
TemporalLogicandstatesystems
这是一本详细地介绍temporallogic中的LTL的书，非常有参考价值！
专业指导 3 0 PDF 2019-05-13 15:05:27