|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 8 publication records. Showing 8 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Supratik Mukhopadhyay, Abhik Roychoudhury, Zijiang Yang (eds.) |
Proceedings of the Third International Workshop on Software Verification and Validation, SVV@ICFEM 2005, Manchester, UK, October 31, 2005  |
SVV@ICFEM  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Scott Uk-Jin Lee, Jing Sun 0002, Gillian Dobbie, Yuan-Fang Li |
A Z Approach in Validating ORA-SS Data Models. |
SVV@ICFEM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Donghuo Chen, Jinzhao Wu |
Model Checking Temporal Aspects of Inconsistent Concurrent Systems Based on Paraconsistent Logic. |
SVV@ICFEM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Murray Stokely, Sagar Chaki, Joël Ouaknine |
Parallel Assignments in Software Model Checking. |
SVV@ICFEM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniela Castelluccia, Marina Mongiello, Michele Ruta, Rodolfo Totaro |
WAVer: A Model Checking-based Tool to Verify Web Application Design. |
SVV@ICFEM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Supratik Mukhopadhyay, Abhik Roychoudhury, Zijiang Yang |
Preface. |
SVV@ICFEM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Arend Rensink, Dino Distefano |
Abstract Graph Transformation. |
SVV@ICFEM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Aziz |
A Semiring-based Quantitative Analysis of Mobile Systems. |
SVV@ICFEM |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #8 of 8 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license