본문

  1. Home
13 Results:SS:FORMALMETHOD 0.124 sec.
RSS 
다국어입력
 상세검색
 신착검색
1
Lightweight Formal Methods for Correct, Efficient Systems Programming- [electronic resource]
Lightweight Formal Methods for Correct, Efficient Systems Programming- [electronic resource]
VanHattum, Alexa.Computer Science. | Cornell University. | 2023
미리보기
위치정보
2
Lightweight Formal Methods for Correct, Efficient Systems Programming- [electronic resource]
Lightweight Formal Methods for Correct, Efficient Systems Programming- [electronic resource]
VanHattum, Alexa.Computer Science. | Cornell University. | 2023
미리보기
위치정보
3
Lightweight Formal Methods for Correct, Efficient Systems Programming- [electronic resource]
Lightweight Formal Methods for Correct, Efficient Systems Programming- [electronic resource]
VanHattum, Alexa.Computer Science. | Cornell University. | 2023
미리보기
위치정보
4
Automating Contract-Based Design for Cyber-Physical Systems
Automating Contract-Based Design for Cyber-Physical Systems
Yu, Sheng-Jung. | University of California, Berkeley | 2025
미리보기
위치정보
5
Reachability Analysis for Characterizing the Effects of Robotic Assistive Devices on Human Stability
Reachability Analysis for Characterizing the Effects of Robotic Assistive Devices on Human Stability
Raz, Daphna R. | University of Michigan | 2025
미리보기
위치정보
6
From Local Coordination to System-Level Strategies: Designing Reliable, Societal-Scale Multi-Agent Autonomy Across Scales
From Local Coordination to System-Level Strategies: Designing Reliable, Societal-Scale Multi-Agent Autonomy Across Scales
Tuck, Victoria Marie. | University of California, Berkeley | 2025
미리보기
위치정보
7
Modular Control Plane Verification
Modular Control Plane Verification
Alberdingk Thijm, Timothy Robin. | Princeton University | 2024
미리보기
위치정보
8
High-level Collaborative Task Planning for Heterogeneous Multi-robot Systems
High-level Collaborative Task Planning for Heterogeneous Multi-robot Systems
Fang, Amy. | Cornell University | 2024
미리보기
위치정보
9
Formal Modeling Languages for High-assurance Domain-specific Systems : 高保障特定领域系统的形式化建模语言
Formal Modeling Languages for High-assurance Domain-specific Systems : 高保障特定领域系统的形式化建模语言
Ni, Haobin. | Cornell University | 2024
미리보기
위치정보
10
Optimal Control and Learning for Safety-Critical Autonomous Systems
Optimal Control and Learning for Safety-Critical Autonomous Systems
Xiao, Wei. | Boston University | 2021
미리보기
위치정보
처음12이후마지막