John Faust

According to our database¹, John Faust authored at least 2 papers between 1995 and 1996.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

1996

Formal Methods Applied to Secure Network Engineering.

[DOI]

Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 1996

1995

Integrating formal methods tools to support system design.

[DOI]

Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995