|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 21-25 October 1996, Montreal, Canada, pp. 168-, 1996, IEEE Computer Society, 0-8186-7614-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Proceedings of the Conference on TRI-Ada 1991 - Today's Accomplishments; Tomorrow's Expectations, TRI-Ada 1991, San Jose, California, USA, October 21-25, 1991, pp. 33-44, 1991, ACM, 978-0-89791-445-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
33 | Robert G. Pettit IV |
Using Ada 95 for the Design of Distributed Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: The annual meeting of the Ada programming world, TRI-Ada 1996, December 3-7, 1996, Philadelphia, Pennsylvania, USA, pp. 49-55, 1996, ACM, 0-89791-808-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
ADARTS, software design methods, distributed systems, Ada, Ada 95 |
Displaying result #1 - #3 of 3 (100 per page; Change: )
|
|