Travelled to:1 × USA
Collaborated with:J.Lilius L.Petre R.Back
Talks about:uml (3) model (2) formalis (1) contract (1) verifi (1) machin (1) analys (1) state (1) check (1) vuml (1)
Person: Ivan Paltor
DBLP: Paltor:Ivan
Contributed to:
1999
1999Wrote 3 papers:
- ASE-1999-LiliusP #modelling #named #uml #verification
- vUML: A Tool for Verifying UML Models (JL, IP), pp. 255–258.
- UML-1999-PaltorL #formal method #model checking #state machine #uml
- Formalising UML State Machines for Model Checking (IP, JL), pp. 430–445.
- UML-1999-PetreBP #case study #contract #uml
- Analysing UML Use Cases as Contracts (LP, RJB, IP), pp. 518–533.