|
Search the dblp DataBase
Johan Kraft:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
Validation of Temporal Simulation Models of Complex Real-Time Systems. [Citation Graph (, )][DBLP]
Transformational Specification of Complex Legacy Real-Time Systems via Semantic Anchoring. [Citation Graph (, )][DBLP]
Evaluating the Quality of Models Extracted from Embedded Real-Time Software. [Citation Graph (, )][DBLP]
A Metaheuristic Approach for Best Effort Timing Analysis Targeting Complex Legacy Real-Time Systems. [Citation Graph (, )][DBLP]
Simulation-Based Timing Analysis of Complex Real-Time Systems. [Citation Graph (, )][DBLP]
Towards migrating legacy real-time systems to multi-core platforms. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|