Lecture Notes in Computer Science - Leveraging Applications of Formal Methods, Verification, and Validation
Latest Publications

TOTAL DOCUMENTS

46
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642165603, 9783642165610
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Covering Arrays Generation Methods Survey

2010 ◽  
pp. 382-396 ◽  
Author(s):  
Victor Kuliamin ◽  
Alexander Petukhov
Keyword(s):  
Covering Arrays

Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code

2010 ◽  
pp. 449-463 ◽  
Author(s):  
Björn Lisper ◽  
Andreas Ermedahl ◽  
Dietmar Schreiner ◽  
Jens Knoop ◽  
Peter Gliwa
Keyword(s):  
Flow Analysis ◽  
Source Level ◽  
Practical Experiences

Certification of Software-Driven Medical Devices

2010 ◽  
pp. 293-295
Author(s):  
Mark Lawford ◽  
Tom Maibaum ◽  
Alan Wassyng
Keyword(s):  
Medical Devices

Modeling and Reasoning about Service Behaviors and Their Compositions

2010 ◽  
pp. 82-96 ◽  
Author(s):  
Aida Čaušević ◽  
Cristina Seceleanu ◽  
Paul Pettersson

scholarly journals Towards a Connector Algebra

2010 ◽  
pp. 278-292 ◽  
Author(s):  
Marco Autili ◽  
Chris Chilton ◽  
Paola Inverardi ◽  
Marta Kwiatkowska ◽  
Massimo Tivoli

scholarly journals Model-Checking Temporal Properties of Real-Time HTL Programs

2010 ◽  
pp. 191-205
Author(s):  
André Carvalho ◽  
Joel Carvalho ◽  
Jorge Sousa Pinto ◽  
Simão Melo de Sousa
Keyword(s):  
Model Checking ◽  
Real Time ◽  
Temporal Properties
Load More ...
Sign in / Sign up

Export Citation Format

Share Document