|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12 occurrences of 10 keywords
|
|
|
|
|
Results
Found 3 publication records. Showing 3 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 2 | Xinming Tan, Yingxu Wang, Cyprian F. Ngolah |
Specification of the RTPA Grammar and Its Recognition.  |
IEEE ICCI  |
2004 |
DBLP DOI BibTeX RDF |
descriptive mathematics, grammar recognition, LL(k), type checker, software engineering, formal methods, Cognitive informatics, parser, system behaviors, human behaviors, RTPA |
| 2 | Yingxu Wang |
Real-Time Process Algebra and Its Applications.  |
10th Anniversary Colloquium of UNU/IIST  |
2002 |
DBLP DOI BibTeX RDF |
descriptive mathematics, 3-D problems, static/dynamic behaviors specification, Software engineering, real-time systems, formal methods, algebraic specification, architecture specification |
| 1 | Yingxu Wang |
Cognitive Informatics: Towards Future Generation Computers that Think and Feel.  |
IEEE ICCI  |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #3 of 3 (100 per page; Change: )
|
|