[EB07] A Typed Compositional Language for Real-Time Systems

Conférence Internationale avec comité de lecture : IEEE Int. Symposium on High Assurance Systems Engineering, Dallas, January 2007, pp.63-72,

Auteurs: J. Etienne , S. Bouzefrane

motcle:

BibTeX

@inproceedings {
	EB07,
	title	=	"{A Typed Compositional Language for Real-Time Systems}",
	author	=	" J. Etienne and S. Bouzefrane ",
	booktitle	=	"{ IEEE Int. Symposium on High Assurance Systems Engineering, Dallas}",
	year	=	2007,
	month	=	"January",
	issue	=	10,
	pages	=	"63-72",
}