- 4
- 1
Frank Singhoff
5
Documents
Publications
- 5
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
About Early Scheduling Verification Of Embedded Real-Time Critical Systems: An Example With AADLInvited speaker at SYRCoSE 2018 - 12th Spring/Summer Young Researchers’ Colloquium on Software Engineering, May 2018, Novgorod the Great, Russia
Communication dans un congrès
hal-01825157v1
|
SIGBED Review, Volume 13, Number 1, January 2016ACM, 13 (1), 2016, 1551-3688
Ouvrages
hal-01302238v1
|
|
SIGBED Review, Volume 11, Number 1, February 2014 Special Issue the 3rd Workshop on Embed With Linux (EWiLi 2013)ACM, pp.79, 2014, 1551-3688
Ouvrages
hal-00977927v1
|
|
SIGBED Review, Volume 11, Number 1, February 2014 Special Issue the 4th Workshop on Embed With Linux (EWiLi 2014)ACM. ACM, 11 (4), 2014, ISSN: 1551-3688
Ouvrages
hal-01166165v1
|
|
SIGBED Review, Volume 9, Number 2, June 2012 Special Issue the 2nd Workshop on Embed With Linux (EWiLi 2012)ACM, pp.47, 2012, 1551-3688
Ouvrages
hal-00806936v1
|