Search results for: Kristina Lundqvist
British Journal of Haematology > 196 > 6 > 1362 - 1368
British Journal of Haematology > 183 > 4 > 564 - 577
Software Testing, Verification and Reliability > 27 > 8 > n/a - n/a
Radiotherapy and Oncology > 2016 > 121 > 3 > 357-363
Lecture Notes in Computer Science > Reliable Software Technology – Ada-Europe 2005 > Certification and Verification > 156-166
Lecture Notes in Computer Science > Reliable Software Technologies — Ada-Europe’ 99 > Ravenscar Profile and High Integrity Systems > 12-25
Lecture Notes in Computer Science > Models in Software Engineering > W2 – Critical Systems Development > 32-41
Lecture Notes in Computer Science > Software Architecture > Quality Attributes and Software Architectures > 105-113
Lecture Notes in Computer Science > Computer Aided Verification > Session III: Timed Synthesis and Games > 126-130
Lecture Notes in Computer Science > Reliable Software Technologies - Ada-Europe 2011 > Architecture and Modelling > 103-117
Lecture Notes in Computer Science > Ada in Europe > 421-432
Lecture Notes in Computer Science > Ada - Europe '93 > 249-263