( en | de | ru )

 

Disambiguation of "Pasquini, Alberto"

Author of the publication

copydeleteadd this publication to your clipboard
Formal tasks and systems models as a tool for specifying and assessing automation designs.

, , , , , , and . ATACCS, page 50-59. IRIT Press Toulouse, France / ACM DL, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Cecilia Pasquini

Rafael Pasquini

Alberto Moreira

Alberto Coda

Alberto Fierro

 

Other publications of authors with the same name

Safety Assessment of Experimental Air Traffc Management Procedures., and . SAFECOMP, volume 2788 of Lecture Notes in Computer Science, page 354-367. Springer, (2003)Dependability Evaluation: Model and Method Based on Activity Theory., , and . SAFECOMP, volume 1943 of Lecture Notes in Computer Science, page 406-419. Springer, (2000)Applying Code Coverage Approach to an Infinite Failure Software Reliability Model., , , and . SBES, page 216-226. IEEE Computer Society, (2009)An Holistic Approach to Dependability?, , , and . SAFECOMP, page 149-154. Springer, (1996)Sensitivity of reliability growth models to operational profile errors., , and . ISSRE, page 35-44. IEEE Computer Society, (1996)Assessment of a sampling method for measuring safety-critical software reliability., and . ISSRE, page 93-102. IEEE Computer Society, (1994)A Binomial Software Reliability Model Based on Coverage of Structural Testing Criteria., , , and . SBES, page 211-226. SBC, (2000)Test Set Size Minimization and Fault Detection Effectiveness: A Case Study in a Space Application., , , and . COMPSAC, page 522-528. IEEE Computer Society, (1997)Model-based dynamic distribution of user interfaces of critical interactive systems., , , , and . ATACCS, page 66-75. ACM, (2013)Cobertura dos Critérios Potenciais-Usos e a Confiabilidade do Software., , , and . SBES, page 379-394. SBC, (1997)