|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 5 keywords
|
|
|
Results
Found 3 publication records. Showing 3 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
132 | Robert G. Pettit IV, Hassan Gomaa |
Integrating Petri Nets With Design Methods for Concurrent and Real-Time Systems. |
ICECCS |
1996 |
DBLP DOI BibTeX RDF |
software design methods, ADARTS, CODARTS, real-time systems, Petri nets |
46 | Mike Cochran, Hassan Gomaa |
Validating the ADARTS software design method for real-time systems. |
TRI-Ada |
1991 |
DBLP DOI BibTeX RDF |
|
33 | Robert G. Pettit IV |
Using Ada 95 for the Design of Distributed Real-Time Systems. |
TRI-Ada |
1996 |
DBLP DOI BibTeX RDF |
ADARTS, software design methods, distributed systems, Ada, Ada 95 |
Displaying result #1 - #3 of 3 (100 per page; Change: )
|
|