|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 5 keywords
|
|
|
|
|
Results
Found 5 publication records. Showing 5 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Hans Søndergaard, Bent Thomsen, Anders P. Ravn, René Rydhof Hansen, Thomas Bøgholm |
Refactoring Real-Time Java Profiles.  |
ISORC  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Hans Søndergaard, Bent Thomsen |
Formal Modelling and Analysis of Predictable Java. |
ERCIM News |
2010 |
DBLP BibTeX RDF |
|
| 1 | Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Bent Thomsen, Hans Søndergaard |
Schedulability analysis for Java finalizers. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
schedulability, Java, model checking, real-time, finalizers |
| 1 | Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Bent Thomsen, Hans Søndergaard |
A predictable Java profile: rationale and implementations. |
JTRES |
2009 |
DBLP DOI BibTeX RDF |
Java, real-time |
| 1 | Martin Schoeberl, Hans Søndergaard, Bent Thomsen, Anders P. Ravn |
A Profile for Safety Critical Java. |
ISORC |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #5 of 5 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")