본문

  1. Home
13 Results:SS:FORMALMETHOD 0.46 sec.
RSS 
다국어입력
 상세검색
 신착검색
11
Implicit Relations and Their Derivatives for Symbolic State Space Generation
Implicit Relations and Their Derivatives for Symbolic State Space Generation
Biswal, Shruti. | Iowa State University | 2021
미리보기
위치정보
12
Controller Synthesis and Formal Behavior Inference in Autonomous Systems
Controller Synthesis and Formal Behavior Inference in Autonomous Systems
Carrillo, Estefany. | University of Maryland, College Park | 2021
미리보기
위치정보
13
Refinement-Based Game Semantics for Certified Components
Refinement-Based Game Semantics for Certified Components
Koenig, Jeremie. | Yale University | 2020
미리보기
위치정보
처음이전12마지막