Victor Carreno

According to our database¹, Victor Carreno authored at least 2 papers between 1989 and 1997.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1997

Transition assertions: a higher-order logic based method for the specification and verification of real-time systems

[BibT_eX]

[DOI]

PhD thesis, 1997

1989

FOCUS: an experimental environment for validation of fault-tolerant systems - case study of a jet-engine controller.

[BibT_eX]

[DOI]

Proceedings of the Computer Design: VLSI in Computers and Processors, 1989