Search for persons
X
?
Lecture Notes in Electrical Engineering; Proceedings of 2021 Chinese Intelligent Systems Conference ,
2
A Note on Reaction-Diffusion Equations Derived from a PEPA ..:
, In:
?
2019 International Symposium on Theoretical Aspects of Software Engineering (TASE) ,
4
Optimized Step Semantics Encoding for Bounded Model Checkin..:
, In:
?
2012 IEEE 17th International Conference on Engineering of Complex Computer Systems ,
9
ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating Sys..:
, In:
?
2012 IEEE 17th International Conference on Engineering of Complex Computer Systems ,
10