|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 5 keywords
|
|
|
|
|
Results
Found 4 publication records. Showing 4 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Cordell Green |
Keynote address: the actual implementation will be derived from the formal specification -- KBSA, 1983.  |
ASE  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel E. Cooke, Matt Barry, Michael Lowry, Cordell Green |
NASA's Exploration Agenda and Capability Engineering. |
IEEE Computer |
2006 |
DBLP DOI BibTeX RDF |
NASA flight systems, International Space Station, Model-based languages, Risk analysis methodologies, SequenceL, Capability engineering |
| 1 | Bernhard Beckert, Tony Hoare, Reiner Hähnle, Douglas R. Smith, Cordell Green, Silvio Ranise, Cesare Tinelli, Thomas Ball, Sriram K. Rajamani |
Intelligent Systems and Formal Methods in Software Engineering. |
IEEE Intelligent Systems |
2006 |
DBLP DOI BibTeX RDF |
deductive software verification, software engineering, formal methods, program verification, software synthesis, satisfiability modulo theories |
| 1 | Alessandro Coglio, Cordell Green |
A Constructive Approach to Correctness, Exemplified by a Generator for Certified Java Card Applets. |
VSTTE |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #4 of 4 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")