|
Results
Found 6 publication records. Showing 6 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Abigail Parisaca Vargas, Ana Gabriela Garis, Silvia Lizeth Tapia Tarifa, Chris George |
Model Checking LTL Formulae in RAISE with FDR.  |
IFM  |
2009 |
DBLP DOI BibTeX RDF |
model checking, formal methods, refinement, tools, CSP, LTL, FDR, RAISE, RSL |
| 1 | Abigail Parisaca Vargas, Silvia Lizeth Tapia Tarifa, Chris George |
A Translation from RSL to CSP. |
SCCC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Asger Eir |
Relating Domain Concepts Intensionally by Ordering Connections. |
Formal Methods and Hybrid Real-Time Systems |
2007 |
DBLP DOI BibTeX RDF |
The RAISE Specification Language (RSL), Classification, Formal Methods, Conceptual modelling, Abstract Interpretation, Domain Engineering, Galois Connection, Intension |
| 1 | Morten P. Lindegaard, Anne Elisabeth Haxthausen |
Proof Support for RAISE by a Reuse Approach Based on Institutions. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
proof support, Institutions, algebraic semantics, HOL, RSL |
| 1 | Myatav Erdenechimeg, Richard Moore, Yumbayar Namsrai |
On the Specification of the Display of Documents in Multi-lingual Computing. |
PODDP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesper Gørtz |
Specifying Safety and Progress Properties with RSL. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #6 of 6 (100 per page; Change: )
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")