Union Catalogue of Belgian Libraries
Search
Feedback
About UniCat 
Help
News
Narrow your search
| Listing 1 - 4 of 4 |
Sort by
|
Book
Dependable Computing for Critical Applications 7
Loading...
Authors:
Weinstock, Charles B
---
Rushby, John
Year: 1999 Publisher: [Place of publication not identified] IEEE Computer Society Press
Year: 1999 Publisher: [Place of publication not identified] IEEE Computer Society Press
Abstract | Keywords | Export | Availability | Bookmark
Loading...
Export citation
Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Bookmark
Abstract
Book
Dependable Computing for Critical Applications 7
Loading...
Authors:
Weinstock, Charles B
---
Rushby, John
Year: 1999 Publisher: [Place of publication not identified] IEEE Computer Society Press
Year: 1999 Publisher: [Place of publication not identified] IEEE Computer Society Press
Abstract | Keywords | Export | Availability | Bookmark
Loading...
Export citation
Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Bookmark
Abstract
Keywords
Book
Formal verification of AI software
Loading...
Authors:
Rushby, John
---
Whitehurst, R. Alan.
---
Langley Research Center.
Year: 1989 Publisher: Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center,
Year: 1989 Publisher: Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center,
Abstract | Keywords | Export | Availability | Bookmark
Loading...
Export citation
Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Bookmark
Abstract
Book
AFM '07 : second Workshop on Automated Formal Methods : November 6, 2007, Atlanta, Georgia
Loading...
Authors:
Rushby, John
---
Shankar, N
---
International Conference on Automated Software Engineering 2007
---
Association for Computing Machinery-Digital Library.
Year: 2007 Publisher: [Place of publication not identified] ACM
Year: 2007 Publisher: [Place of publication not identified] ACM
Abstract | Keywords | Export | Availability | Bookmark
Loading...
Export citation
Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Bookmark
Abstract
| Listing 1 - 4 of 4 |
Sort by
|