On Specification and Verification of Location-Based Fault Tolerant Mobile Systems Conferences

Overview
Research
Identity
Additional Document Info
View All

authors

Iliasov, Alexei
Khomenko, Victor
Koutny, Maciej
Romanovsky, Alexander

status

published

publication date

2006

has subject area

Artificial Intelligence & Image Processing (Science Metrix)

published in

Lecture Notes in Computer Science Journal

presented at event

Workshop on Rigorous Open Development Environment for Complex Systems Conference