Victor Carreno

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1997

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

Victor Carreno

PhD thesis, 1997

1989

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

Gwan Choi, Ravi K. Iyer, Victor Carreno

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