Javier Dreyer

According to our database¹, Javier Dreyer authored at least 4 papers between 1994 and 1998.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1998

Program segmentation for controlling software testing and analysis.

[BibT_eX]

[DOI]

PhD thesis, 1998

1997

Program segmentation for controlling test coverage.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Symposium on Software Reliability Engineering, 1997

1995

Systems specification, analysis, and validation by means of timed predicate/transition nets and logic programming.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Symposium on Software Reliability Engineering, 1995

1994

Systems Modelling and Simulation by Means of Predicate/Transition Nets and Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 1994