|
Search the dblp DataBase
Michel Le Borgne:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Michel Le Borgne, Hervé Marchand, Éric Rutten, Mazen Samaan
Formal Verification of SIGNAL Programs: Application to a Power Transformer Station Controller. [Citation Graph (0, 0)][DBLP] AMAST, 1996, pp:271-285 [Conf]
- Albert Benveniste, Michel Le Borgne, Paul Le Guernic
SIGNAL as a Model for Real-Time and Hybrid Systems. [Citation Graph (0, 0)][DBLP] ESOP, 1992, pp:20-38 [Conf]
- Albert Benveniste, Michel Le Borgne, Paul Le Guernic
Hybrid Systems: The SIGNAL Approach. [Citation Graph (0, 0)][DBLP] Hybrid Systems, 1992, pp:230-254 [Conf]
- Hervé Marchand, Éric Rutten, Michel Le Borgne, Mazen Samaan
Formal verification of programs specified with signal: application to a power transformer station controller. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 2001, v:41, n:1, pp:85-104 [Journal]
Inferring the role of transcription factors in regulatory networks. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|