Standard

REAL-IT: Model-Based User Interface Development Environment. / Ivanov, A.; Koznov, D.

Proceedings of IEEE/NASA ISoLA 2005 Workshop on Leveraging Applications of Formal Methods, Verification, and Validation. Loyola College Graduate Center Columbia, Maryland, USA, 23-24 September 2005. P. 31-41.. 2005.

Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике › научная

Harvard

Ivanov, A & Koznov, D 2005, REAL-IT: Model-Based User Interface Development Environment. в Proceedings of IEEE/NASA ISoLA 2005 Workshop on Leveraging Applications of Formal Methods, Verification, and Validation. Loyola College Graduate Center Columbia, Maryland, USA, 23-24 September 2005. P. 31-41..

APA

Ivanov, A., & Koznov, D. (2005). REAL-IT: Model-Based User Interface Development Environment. в Proceedings of IEEE/NASA ISoLA 2005 Workshop on Leveraging Applications of Formal Methods, Verification, and Validation. Loyola College Graduate Center Columbia, Maryland, USA, 23-24 September 2005. P. 31-41.

Vancouver

Ivanov A, Koznov D. REAL-IT: Model-Based User Interface Development Environment. в Proceedings of IEEE/NASA ISoLA 2005 Workshop on Leveraging Applications of Formal Methods, Verification, and Validation. Loyola College Graduate Center Columbia, Maryland, USA, 23-24 September 2005. P. 31-41.. 2005

Author

Ivanov, A. ; Koznov, D. / REAL-IT: Model-Based User Interface Development Environment. Proceedings of IEEE/NASA ISoLA 2005 Workshop on Leveraging Applications of Formal Methods, Verification, and Validation. Loyola College Graduate Center Columbia, Maryland, USA, 23-24 September 2005. P. 31-41.. 2005.

BibTeX

@inbook{86a2d6587ac74f748bd854888ec3bbc5,
title = "REAL-IT: Model-Based User Interface Development Environment",
author = "A. Ivanov and D. Koznov",
year = "2005",
language = "не определен",
booktitle = "Proceedings of IEEE/NASA ISoLA 2005 Workshop on Leveraging Applications of Formal Methods, Verification, and Validation. Loyola College Graduate Center Columbia, Maryland, USA, 23-24 September 2005. P. 31-41.",

}

RIS

TY - CHAP

T1 - REAL-IT: Model-Based User Interface Development Environment

AU - Ivanov, A.

AU - Koznov, D.

PY - 2005

Y1 - 2005

M3 - статья в сборнике

BT - Proceedings of IEEE/NASA ISoLA 2005 Workshop on Leveraging Applications of Formal Methods, Verification, and Validation. Loyola College Graduate Center Columbia, Maryland, USA, 23-24 September 2005. P. 31-41.

ER -

ID: 4428420