Formal Behavioral Modeling of Real-time Operating Systems
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Cédrick Lelionnais, Matthias Brun, Jérôme Delatour, Olivier H. Roux, Charlotte Seidner
Formal Behavioral Modeling of Real-time Operating Systems
ICEIS, 2012.

ICEIS v2 2012
DBLP
Scholar
Full names Links ISxN
@inproceedings{ICEIS-v2-2012-LelionnaisBDRS,
	author        = "Cédrick Lelionnais and Matthias Brun and Jérôme Delatour and Olivier H. Roux and Charlotte Seidner",
	booktitle     = "{Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 2}",
	isbn          = "978-989-8565-11-2",
	pages         = "407--414",
	publisher     = "{SciTePress}",
	title         = "{Formal Behavioral Modeling of Real-time Operating Systems}",
	year          = 2012,
}

Tags:



Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.