Search Results - "Hanazumi, S." :: K.UTB vyhledávací portál

Coordinating Exceptions of Java Systems: Implementation and Formal Verification

by Hanazumi, S., de Melo, A. C. V.
Published in 2012 Eighth International Conference on the Quality of Information and Communications Technology (01.09.2012)

Get full text

Conference Proceeding

Loading…

Using Formal Verification to Reduce Test Space of Fault-Tolerant Programs

by Xavier, K.S., Hanazumi, S., de Melo, A.C.V.
Published in 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods (01.11.2008)

Get full text

Conference Proceeding

Coordinating Exceptions of Java Systems: Implementation and Formal Verification

Using Formal Verification to Reduce Test Space of Fault-Tolerant Programs

Refine Results

Format

Subject Area

Topic

Language

Year of Publication

Database