Cyber Physical Systems Laboratory Department of Computer Science Cochin University of Science and Technology Kochi Kerala 682022 India

  1. Home
  2. search page
  3. affiliation

Cyber Physical Systems Laboratory Department of Computer Science Cochin University of Science and Technology Kochi Kerala 682022 India

국가: Andorra
주요 연구 분야: Verification
주요 키워드: #medical #researchers #challenging
주요 저자:
#N. Suresh Kumar #G. Santhosh Kumar

📄 기관 상세정보

출판수1
총 인용수0
평균 인용수0.00
저자 수2
좋아요 수0
연도별 출판 논문
파트별 논문
기관 키워드
공동 기관 관계도

논문 목록 (1건)

Abstracting IoT protocols using timed process algebra and SPIN model checker
저자: N. Suresh Kumar , G. Santhosh Kumar
키워드: #medical #researchers #challenging #internet #calculus
파트: Verification | 연도: 2023