Searching for authors named "Charles Pecheur" – sorted by Relevance.
23 documents found, showing 1 through 10.
Next 10 →
-
Specification and Verification of the CO4 Distributed Knowledge System Using LOTOS
- … AUTOMATIQUE Specification and Verification of the Co4 Distributed Knowledge System Using LOTOS Charles Pecheur…
- Add To MetaCart
-
Verification and Validation of Autonomy Software at NASA
- …Verification and Validation of Autonomy Software at NASA Abstract Charles Pecheur * March 13, 2000…
- Add To MetaCart
-
Using LOTOS for Specifying the CHORUS Distributed Operating System Kernel
- … for Specifying the CHORUS Distributed Operating System Kernel * Charles PECHEUR ** Abstract The goal of the work…
- Cited by 5 (0 self) – Add To MetaCart
-
VLib: infinite virtual libraries for LOTOS
- …VLib : infinite virtual libraries for LOTOS Charles PECHEUR * University of Lige, Institut…
- Cited by 4 (0 self) – Add To MetaCart
-
Advanced Modelling and Verification Techniques Applied to a Cluster File System
- …Advanced Modelling and Verification Techniques Applied to a Cluster File System Charles Pecheur…
- Cited by 1 (0 self) – Add To MetaCart
-
Automating Model Checking for Autonomous Systems
- …Automating Model Checking for Autonomous Systems Reid Simmons Charles Pecheur Carnegie Mellon…
- Cited by 9 (4 self) – Add To MetaCart
-
Verification and validation and artificial intelligence
- …, Portland State University, Oregon, USA Charles Pecheur RIACS at NASA Ames Research Center, Moffett Field…
- Cited by 1 (0 self) – Add To MetaCart
-
From Livingstone to SMV - Formal Verification for Autonomous Spacecrafts
- …From Livingstone to SMV Formal Veri cation for Autonomous Spacecrafts Charles Pecheur 1 and Reid…
- Cited by 11 (7 self) – Add To MetaCart
-
Symbolic model checking of logics with actions
- …Symbolic Model Checking of Logics with Actions Charles Pecheur 1⋆ and Franco Raimondi 2⋆⋆ 1…
- Cited by 2 (2 self) – Add To MetaCart
-
Towards Automatic Verification of Autonomous Systems
- …Towards Automatic Verification of Autonomous Systems Reid Simmons Charles Pecheur Grama Srinivasan…
- Cited by 11 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
