search result

Cover von 8; Special issue on uncertainty modeling and analysis with intervals
foundations, tools, applications
Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: Soft computing; 17. 2013. 8
Media group: SPECIAL ISSUE
Cover von Static analysis of WCET in a satellite software subsystem

Static analysis of WCET in a satellite software subsystem

Year: 2013
Media group: ARTICLE
Cover von Multi-architecture Value Analysis for Machine Code

Multi-architecture Value Analysis for Machine Code

Year: 2013
Media group: ARTICLE
Cover von Program Semantics in Model-Based WCET Analysis

Program Semantics in Model-Based WCET Analysis

A State of the Art Perspective
Year: 2013
Media group: ARTICLE
Cover von Automatic WCET Analysis of Real-Time Parallel Applications

Automatic WCET Analysis of Real-Time Parallel Applications

Year: 2013
Media group: ARTICLE
Cover von Analysis, Test and Verification in The Presence of Variability; 2
pp. 144-170
Search for this author
Year: 2013
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 2
Media group: DAGSTUHL REPORT
Cover von Representation, Analysis and Visualization of Moving Objects; 12
pp. 89-106
Search for this author
Year: 2013
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 12
Media group: DAGSTUHL REPORT
Cover von Modern Probabilistic Methods for Analysis of Telecommunication Networks
Belarusian Winter Workshops in Queueing Theory, BWWQT 2013, Minsk, Belarus, January 28 - 31, 2013 : Proceedings
Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: Communications in computer and information science; 356
Media group: MONOGRAPHIE
Cover von Decision Forests for Computer Vision and Medical Image Analysis
Search for this author
Year: 2013
Publisher: Heidelberg, Springer
Series: Advances in Computer Vision and Pattern Recognition
Media group: MONOGRAPHIE
Cover von Non-constructive complex analysis in Coq

Non-constructive complex analysis in Coq

Year: 2013
Media group: LIPIcs
OPEN V 11.1.0.0