|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 20 publication records. Showing 20 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Brijesh Dongol, John Derrick |
Data refinement for true concurrency  |
Refine@IFM  |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. Butler, John Colley, Andrew Edmunds, Colin F. Snook, Neil Evans, Neil Grant, Helen Marshall |
Modelling and Refinement in CODA |
Refine@IFM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Zeyda, Ana Cavalcanti 0001 |
Refining SCJ Mission Specifications into Parallel Handler Designs |
Refine@IFM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Nuno Amálio |
Relaxing Behavioural Inheritance |
Refine@IFM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Madeira, Manuel A. Martins 0001, Luís Soares Barbosa |
Bisimilarity and refinement for hybrid(ised) logics |
Refine@IFM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Emil Sekerinski, Tian Zhang |
On a New Notion of Partial Refinement |
Refine@IFM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Eerke A. Boiten, Steve Reeves (eds.) |
Proceedings 16th International Refinement Workshop, Refine@IFM 2013, Turku, Finland, 11th June 2013. |
Refine@IFM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten, John Derrick, Graeme Smith 0001 (eds.) |
Proceedings of the BCS-FACS Refinement Workshop, REFINE@IFM 2007, Oxford, UK, July 2007 |
REFINE@IFM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Kazuhiro Ogata 0001, Kokichi Futatsugi |
Simulation-based Verification for Invariant Properties in the OTS/CafeOBJ Method. |
REFINE@IFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Larissa Meinicke, Kim Solin |
Refinement Algebra for Probabilistic Programs. |
REFINE@IFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Höfner, Georg Struth |
Can Refinement be Automated? |
REFINE@IFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Johanna Tuominen, Tomi Westerlund, Juha Plosila |
Power Aware System Refinement. |
REFINE@IFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Graeme Smith 0001 |
Using Model Checking to Automatically Find Retrieve Relations. |
REFINE@IFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Banach, Gerhard Schellhorn |
On the Refinement of Atomic Actions. |
REFINE@IFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Heike Wehrheim |
Refinement in the Presence of Unknowns. |
REFINE@IFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten, John Derrick, Graeme Smith 0001 |
Preface. |
REFINE@IFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil Evans, Neil Grant |
Towards the Formal Verification of a Java Processor in Event-B. |
REFINE@IFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lindsay Groves |
Trace-based Derivation of a Lock-Free Queue Algorithm. |
REFINE@IFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten, Dan Grundy |
Reduction and Refinement. |
REFINE@IFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Arjan J. Mooij |
Constructing and Reasoning About Security Protocols Using Invariants. |
REFINE@IFM |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #20 of 20 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license