ReDCAD Laboratory National School of Engineers of Sfax University of Sfax BP 1173 3038 Sfax Tunisia

  1. Home
  2. search page
  3. affiliation

ReDCAD Laboratory National School of Engineers of Sfax University of Sfax BP 1173 3038 Sfax Tunisia

국가: Tunisia
주요 연구 분야: Verification
주요 키워드: #technology #software #automata
주요 저자:
#Mohamed Amin Hammami #Mariam Lahami #Afef Jmal Maâlej

📄 기관 상세정보

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

논문 목록 (1건)

Towards a Dynamic Testing Approach for Checking the Correctness of Ethereum Smart Contracts
저자: Mohamed Amin Hammami , Mariam Lahami , Afef Jmal Maâlej
키워드: #technology #software #automata #blockchain #electronic
파트: Verification | 연도: 2023