John Hatcliff - Publications, H-index & Citations

John Hatcliff

kansas state university

40H指数

209论文数

5.8K被引数

收录论文 3

发表时间

End-to-End Formal Methods Integrated Development with SysMLv2 Using HAMR 端到端形式化方法集成开发与SysMLv2的HAMR应用

FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2025

IF0

2026-01-01

PREAI

Hatcliff, John; Belt, Jason; Robby; McKenzie, Clint; Liang, Catalina

Behavioral Interface Specification Languages

ACM COMPUTING SURVEYS

IF28

2012-06-14

PREAI

Hatcliff, John; Leavens, Gary T.; Leino, K. Rustan M.; Mueller, Peter; Parkinson, Matthew

Challenges and Research Directions in Medical Cyber-Physical Systems 医学网络物理系统面临的挑战与研究方向

PROCEEDINGS OF THE IEEE

IF25.9

2012-01-01

251

OAAI

Lee, Insup; Sokolsky, Oleg; Chen, Sanjian; Hatcliff, John; Jee, Eunkyoung; Kim, BaekGyu; King, Andrew; Mullen-Fortino, Margaret; Park, Soojin; Roederer, Alexander; Venkatasubramanian, Krishna K.