|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 13 occurrences of 13 keywords
|
|
|
|
|
Results
Found 4 publication records. Showing 4 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 2 | Ghaith Haddad, Faraz Hussain, Gary T. Leavens |
The design of SafeJML, a specification language for SCJ with support for WCET specification.  |
JTRES  |
2010 |
DBLP DOI BibTeX RDF |
SafeJML, java modeling language (JML), safety critical Java (SCJ), performance, WCET, timing behavior, duration |
| 1 | Tomas Kalibera, Pavel Parizek, Michal Malohlava, Martin Schoeberl |
Exhaustive testing of safety critical Java. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
SCJ, model checking, real-time Java, Java PathFinder |
| 1 | Ales Plsek, Lei Zhao, Veysel H. Sahin, Daniel Tang, Tomas Kalibera, Jan Vitek |
Developing safety critical Java applications with oSCJ/L0. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
memory management, Java virtual machine, safety critical systems |
| 1 | Andy J. Wellings, MinSeong Kim |
Asynchronous event handling and safety critical Java. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
safety critical Java, threads, real-time specification for Java, asynchronous events |
Displaying result #1 - #4 of 4 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")