translating

  1. Home
  2. search page
  3. keyword

translating

정의: 정의를 찾을 수 없습니다.

📄 키워드 상세정보

핵심 연구 분야Software Development
주요 연도2021년
주요 연관 키워드mapping
좋아요 수0

키워드별 논문 목록 (4건)

A Comparative Study of Rust Smart Contract SDKs for Application-Specific Blockchains
저자: Jan Vanhoof , Tom Van Cutsem
키워드: #software #blockchains #translating #kits #polkadot
파트: Verification | 연도: 2025
ModelForge: Using GenAI to Improve the Development of Security Protocols
저자: Martin Duclos , Ivan A. Fernandez , Kaneesha Moore , Sudip Mittal , Edward Zieglar
키워드: #simplify #cryptographic #refinement #analyzer #translating
파트: Networking | 연도: 2025
Towards Formal Verification of Behaviour-Driven Development Scenarios Using Timed Automata
저자: Eun-Young Kang , Thiago Rocha Silva
키워드: #mapping #feasibility #translation #automata #translating
파트: Software Development | 연도: 2023
PERFUME: Programmatic Extraction and Refinement for Usability of Mathematical Expression
저자: Nicolaas Weideman , Virginia K Felkner , Weicheng Wu , Jonathan David Louis May , Christophe Hauser , Luis Garcia
키워드: #algorithm #algorithmic #malware #translating #perfume
파트: Safety | 연도: 2021