|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
|
|
Results
Found 3 publication records. Showing 3 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jinfeng Huang, Jeroen Voeten, Andre Ventevogel, Leo J. van Bokhoven |
Platform-independent Design for Embedded Real-time Systems .  |
FDL  |
2003 |
DBLP BibTeX RDF |
|
| 1 | Marc Geilen, Jeroen Voeten, P. H. A. van der Putten, Leo J. van Bokhoven, M. P. J. Stevens |
Object-oriented modelling and specification using SHE.  |
Comput. Lang.  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Leo J. van Bokhoven, Jeroen Voeten, Marc Geilen |
Software Synthesis for System Level Design Using Process Execution Trees.  |
EUROMICRO  |
1999 |
DBLP DOI BibTeX RDF |
system level design language, simulation, operational semantics, software synthesis |
Displaying result #1 - #3 of 3 (100 per page; Change: )
|
|