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.

[BibT_eX]

[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.

[BibT_eX]

[DOI]

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