|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9 occurrences of 9 keywords
|
|
|
Results
Found 1 publication records. Showing 1 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
36 | Jie Wu 0001, Eduardo B. Fernández |
Using Petri Nets for the Design of Conversation Boundaries in Fault-Tolerant Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 5(10), pp. 1106-1112, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
systemsanalysis, conversation boundaries, high-level modified Petri net, action-ordered tree, robot arm control system, conversation design tool, formal specification, parallel processing, Petri nets, Petri nets, fault tolerant computing, software reliability, software design, system recovery, fault-tolerant software, state model |
Displaying result #1 - #1 of 1 (100 per page; Change: )
|
|