|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 19 publication records. Showing 19 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | M. V. Achutha Kiran Kumar, Aarti Gupta, S. S. Bindumadhava |
RTL2RTL Formal Equivalence: Boosting the Design Confidence.  |
FSFMA  |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Somsak Vanit-Anunchai |
Experience using Coloured Petri Nets to Model Railway Interlocking Tables. |
FSFMA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Shang-Wei Lin 0001, Laure Petrucci (eds.) |
Proceedings 2nd French Singaporean Workshop on Formal Methods and Applications, FSFMA 2014, Singapore, 13th May 2014. |
FSFMA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Asankhaya Sharma |
Verified Subtyping with Traits and Mixins. |
FSFMA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Feld, Laurent Fribourg, Denis Labrousse, Bertrand Revol, Romain Soulat |
Correct-by-design Control Synthesis for Multilevel Converters using State Space Decomposition. |
FSFMA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Elshuber, Susanne Kandl, Peter P. Puschner |
Improving System-Level Verification of SystemC Models with SPIN. |
FSFMA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Étienne André |
Dynamic Clock Elimination in Parametric Timed Automata. |
FSFMA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Somsak Vanit-Anunchai |
Analysis of Two-Layer Protocols: DCCP Simultaneous-Open and Hole Punching Procedures. |
FSFMA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Yan Liu 0012 |
Formal Modelling and Verification of Pervasive Computing Systems. |
FSFMA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Fribourg, Ulrich Kühne, Romain Soulat |
Constructing Attractors of Nonlinear Dynamical Systems. |
FSFMA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Protzenko |
Illustrating the Mezzo programming language. |
FSFMA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Fribourg |
Control of Switching Systems by Invariance Analysis (Invited Talk). |
FSFMA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Christine Choppy, Jun Sun 0001 (eds.) |
1st French Singaporean Workshop on Formal Methods and Applications, FSFMA 2013, July 15-16, 2013, Singapore |
FSFMA |
2013 |
DBLP BibTeX RDF |
|
| 1 | |
Frontmatter, Table of Contents, Preface, Workshop Organization. |
FSFMA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei-Ngan Chin |
Specification, Verification and Inference (Invited Talk). |
FSFMA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir-Alexandru Paun, Bruno Monsuez, Philippe Baufreton |
On the Determinism of Multi-core Processors. |
FSFMA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | César Rodríguez, Stefan Schwoon |
An Improved Construction of Petri Net Unfoldings. |
FSFMA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Carle, Christine Choppy, Romain Kervarc, Ariane Piel |
Safety of Unmanned Aircraft Systems Facing Multiple Breakdowns. |
FSFMA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanti Rusmawati, David E. Rydeheard |
Modelling and Reasoning about Dynamic Networks as Concurrent Systems. |
FSFMA |
2013 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #19 of 19 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license