|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9 occurrences of 9 keywords
|
|
|
|
|
Results
Found 6 publication records. Showing 6 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Rudolf Schlatte, Einar Broch Johnsen, Fatemeh Kazemeyni, Silvia Lizeth Tapia Tarifa |
Models of Rate Restricted Communication for Concurrent Objects.  |
Electr. Notes Theor. Comput. Sci.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa |
Simulating Concurrent Behaviors with Worst-Case Cost Bounds. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa |
Dynamic Resource Reallocation between Deployment Components. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa |
Validating Timed Models of Deployment Components with Parametric Concurrency. |
FoVeOOS |
2010 |
DBLP DOI BibTeX RDF |
|
| 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 |
|
Displaying result #1 - #6 of 6 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")