Skip to Content
Toggle navigation
Accueil
Browse
Browse by Collection
Browse by Project Center
Browse Exhibits
About
About Us
Help
S'identifier
Explore, Discover, Share
Aller
Advanced search
Recherche
Effacer les filtres
Filtrage par:
Mot-clé
Safety-critical Systems
Supprimer la restriction Mot-clé: Safety-critical Systems
1
de
1
sur
1
Trier par relevance
relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
Nombre de résultats à afficher par page
10 par page
10
par page
20
par page
50
par page
100
par page
Affichage:
Liste
Galerie
Mosaïque
Diaporama
Résultats de recherche
ScreamaeraX: Modeling Laryngeal Surgical Robots Using Differential Dynamic Logic
Mot-clé:
Differential dynamic logic
,
Hybrid systems
,
Cyber-physical Systems
,
Safety-critical Systems
,
Surgical-robots
, and
Theorem provers
Créateur:
McClain, Natalie
Advisor:
Fichera, Loris
and
Bohrer, Rose
Éditeur:
Worcester Polytechnic Institute
date créée:
2023-04-24
Resource Type:
Major Qualifying Project
Toggle facets
Limiter votre recherche
Collections
Major Qualifying Projects
1
Year
2023
1
Créateur
McClain, Natalie
1
Advisor
Bohrer, Rose
1
Fichera, Loris
1
Major
Computer Science
1
Éditeur
Worcester Polytechnic Institute
1
Assujettir
Computing
1
Health
1
Well-Being
1
UN SDG
3 - Good Health and Well-being
1
Type de ressource
Major Qualifying Project
1