|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 6 keywords
|
|
|
Results
Found 3 publication records. Showing 3 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
165 | Robert J. Hall 0001, Andrea Zisman |
OMML: A Behavioural Model Interchange Format. |
RE |
2004 |
DBLP DOI BibTeX RDF |
|
148 | Robert J. Hall 0001, Andrea Zisman |
Model interchange and integration for web services. |
ACM SIGSOFT Softw. Eng. Notes |
2004 |
DBLP DOI BibTeX RDF |
OpenModel, integration, validation, behavior models, interchange |
36 | Robert J. Hall 0001 |
Rteq: modeling and validating infinite-state hard-real-time systems. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
GSTView, ISAT, OMML, openmodel, validation, reactive system, hard real time |
Displaying result #1 - #3 of 3 (100 per page; Change: )
|
|