|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 9 publication records. Showing 9 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Florence Maraninchi, Alain Girault, Éric Rutten (eds.) |
Synchronous Languages, Applications and Programming, SLAP 2003, A Satellite Workshop of ECRTS 2003, Porto, Portugal, July 1, 2003  |
SLAP  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Florence Maraninchi, Alain Girault, Éric Rutten |
Foreword. |
SLAP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdoulaye Gamatié, Thierry Gautier, Loïc Besnard |
Modeling of Avionics Applications and Performance Evaluation Techniques Using the Synchronous Language SIGNAL. |
SLAP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Mirabelle Nebut |
An Overview of the Signal Clock Calculus. |
SLAP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel Riesco, Javier Tuya |
Synchronous Estelle: Just Another Synchronous Language? |
SLAP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles André |
Computing SyncCharts Reactions. |
SLAP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon |
Testing Against Some Eventuality Properties of Synchronous Software: A Case Study. |
SLAP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Koen Claessen |
Safety Property Verification of Cyclic Synchronous Circuits. |
SLAP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Joaquín Aguado, Michael Mendler, Gerald Lüttgen |
A-maze-ing Esterel. |
SLAP |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #9 of 9 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license