|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 7 keywords
|
|
|
Results
Found 2 publication records. Showing 2 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
66 | Huafeng Yu, Abdoulaye Gamatié, Éric Rutten, Jean-Luc Dekeyser |
Safe design of high-performance embedded systems in an MDE framework. |
Innov. Syst. Softw. Eng. |
2008 |
DBLP DOI BibTeX RDF |
High-performance embedded systems, Gaspard2, SIGALI, Mode automata, Synchronous languages, MARTE, Formal validation |
33 | Hervé Marchand, Mazen Samaan |
Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology. |
IEEE Trans. Software Eng. |
2000 |
DBLP DOI BibTeX RDF |
polynomial dynamical system, supervisory control problem, Sigali, optimal control, Signal, Discrete event systems, power plant |
Displaying result #1 - #2 of 2 (100 per page; Change: )
|
|