Ivan Paltor

According to our database¹, Ivan Paltor authored at least 4 papers between 1999 and 2000.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2000

The Production Cell: An Exercise in the Formal Verification of a UML Model.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual Hawaii International Conference on System Sciences (HICSS-33), 2000

1999

Analysing UML Use Cases as Contracts.

[BibT_eX]

[DOI]

Proceedings of the «UML»'99: The Unified Modeling Language, 1999

Formalising UML State Machines for Model Checking.

[BibT_eX]

[DOI]

Proceedings of the «UML»'99: The Unified Modeling Language, 1999

vUML: A Tool for Verifying UML Models.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999