|
Search the dblp DataBase
Jérôme Ermont:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Jérôme Ermont, Frédéric Boniol
TPAP: an Algebra of Preemptive Processes for Verifying Real-Time Systems with Shared Resources. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:65, n:6, pp:- [Journal]
- Frédéric Boniol, Gérard Bel, Jérôme Ermont
Trois approches pour la modélisation et la vérification de systèmes embarqués. [Citation Graph (0, 0)][DBLP] Technique et Science Informatiques, 2003, v:22, n:5, pp:539-569 [Journal]
- Jean-Luc Scharbarg, Marc Boyer, Jérôme Ermont, Christian Fraboul
TTCAN over mixed CAN/switched Ethernet architecture. [Citation Graph (0, 0)][DBLP] ETFA, 2005, pp:- [Conf]
Methods for bounding end-to-end delays on an AFDX network. [Citation Graph (, )][DBLP]
Verification of embbeded systems with preemption: a negative result. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|