|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12 occurrences of 9 keywords
|
|
|
|
|
Results
Found 6 publication records. Showing 6 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 123 | Robert J. Hall 0001, Andrea Zisman |
Overview of OpenModel-based Validation with Partial Information.  |
ASE  |
2003 |
DBLP DOI BibTeX RDF |
|
| 58 | 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 |
| 33 | 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 |
| 25 | Robert J. Hall 0001, Andrea Zisman |
Behavioral models as service descriptions. |
ICSOC |
2004 |
DBLP DOI BibTeX RDF |
validation, service discovery, behavioral model, executable specification, execution monitoring |
| 25 | Robert J. Hall 0001, Andrea Zisman |
OMML: A Behavioural Model Interchange Format. |
RE |
2004 |
DBLP DOI BibTeX RDF |
|
| 25 | Robert J. Hall 0001, Andrea Zisman |
Validating Personal Requirements by Assisted Symbolic Behavior Browsing . |
ASE |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #6 of 6 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license