TAME: Using PVS strategies for special-purpose theorem proving
Annals of Mathematics and Artificial Intelligence
Integration of Logical and Physical Properties of Embedded Systems by Use of Time Petri Nets
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
Modeling and verification of stochastic hybrid systems using HIOA: a case study on DNA replication
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
Hi-index | 0.00 |