Formal Aspects of Component Software - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

14
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer International Publishing

9783319680330, 9783319680347
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals TOM: A Model-Based GUI Testing Framework

2017 ◽  
pp. 155-161
Author(s):  
Miguel Pinto ◽  
Marcelo Gonçalves ◽  
Paolo Masci ◽  
José Creissac Campos
Keyword(s):  
Testing Framework ◽  
Gui Testing ◽  
Model Based

scholarly journals Safety Analysis of Software Components of a Dialysis Machine Using Model Checking

2017 ◽  
pp. 137-154 ◽  
Author(s):  
M. D. Harrison ◽  
M. Drinnan ◽  
J. C. Campos ◽  
P. Masci ◽  
L. Freitas ◽  
...  
Keyword(s):  
Model Checking ◽  
Safety Analysis ◽  
Software Components
Load More ...
Sign in / Sign up

Export Citation Format

Share Document