dblp.uni-trier.dewww.uni-trier.de

Eric Nassor

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2000
3 Gérard Berry, Amar Bouali, Xavier Fornari, Emmanuel Ledinot, Eric Nassor, Robert de Simone: ESTEREL: a formal method applied to avionic software development. Sci. Comput. Program. 36(1): 5-25 (2000)
1999
2EEOlivier Hainque, Laurent Pautet, Yann Le Biannic, Eric Nassor: Cronos: A Separate Compilation Toolset for Modular Esterel Applications. World Congress on Formal Methods 1999: 1836-1853
1992
1 Eric Nassor, Guy Vidal-Naquet: Suitability of the Propositional Temporal Logic to Express Properties of Real-Time Systems. STACS 1992: 59-70

Coauthor Index

1Gérard Berry [3]
2Yann Le Biannic [2]
3Amar Bouali [3]
4Xavier Fornari [3]
5Olivier Hainque [2]
6Emmanuel Ledinot [3]
7Laurent Pautet [2]
8Robert de Simone [3]
9Guy Vidal-Naquet [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)