Oleg Lisagor

According to our database¹, Oleg Lisagor authored at least 3 papers between 2010 and 2015.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2015

Safety assessment of AltaRica models via symbolic model checking.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2015

2011

Symbolic Model Checking and Safety Assessment of Altarica models.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

2010

Failure logic modelling : a pragmatic approach.

[BibT_eX]

[DOI]

PhD thesis, 2010