|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6 occurrences of 6 keywords
|
|
|
|
|
Results
Found 4 publication records. Showing 4 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 87 | Sung-Mook Lim, Jin-Young Choi |
Specification and verification of real-time systems using ACSR-VP.  |
RTCSA  |
1997 |
DBLP DOI BibTeX RDF |
ACSR-VP, avionics control systems, nuclear reactor control systems, bisimulation relation, real-time systems, reliability, formal specification, formal verification, formal verification, scheduling algorithm, priority ceiling protocol |
| 66 | Jin-Young Choi, Hee-Hwan Kwak, Insup Lee 0001 |
A Framework for Embedded Real-Time System Design. |
IPDPS Workshops |
2000 |
DBLP DOI BibTeX RDF |
|
| 34 | Hee-Hwan Kwak, Insup Lee 0001, Oleg Sokolsky |
Parametric approach to the specification and analysis of real-time scheduling based on ACSR-VP. |
Sci. Comput. Program. |
2002 |
DBLP DOI BibTeX RDF |
|
| 34 | Hee-Hwan Kwak, Insup Lee 0001, Oleg Sokolsky |
Parametric Approach to the Specification and Analysis of Real-time System Designs based on ACSR-VP. |
Monterey Workshop |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #4 of 4 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license