Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
My Groups
Join a Group
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
Taxonomic Search: Guillaume Brat
2 results
Results
file
Model Checking Programs
Submitted by
adyson
on Tue, 02/14/2012 - 1:09pm. Contributors:
Willem Visser
Klaus Havelund
Guillaume Brat
SeungJoon Park
Flavio Lerda
127.34 KB
0 views
63 downloads
Download
NASA Ames Research
Conference paper
Research Organization
Willem Visser
HCSS '01
file
JAVA Model Checking
Submitted by
adyson
on Tue, 02/14/2012 - 1:02pm. Contributors:
Willem Visser
Klaus Havelund
Guillaume Brat
SeungJoon Park
Flavio Lerda
989.61 KB
0 views
44 downloads
Download
NASA Ames Research
Presentation
Research Organization
Willem Visser
HCSS '01
Current search
[×]
Contributor(s)
: Guillaume Brat
Guided search
Click a term to refine your current search.
Group
2013 High Confidence Software and Systems Conference
(2)
Keywords
NASA Ames Research
(2)
Content type
File
(2)
Document Type
Presentation
(1)
Publications
(1)
Contributor(s)
:
all
» Guillaume Brat
Document Source
Research Organization
(2)
Author
adyson
(2)
Date authored
2012
(2)
Keyword search
Search within results
More options