[IEEE 2008 International Multiconference on Computer Science and Information Technology (IMCSIT) - Wisla, Poland (2008.10.20-2008.10.22)] 2008 International Multiconference on Computer Science and Information Technology - A component-based approach to verification of embedded control systems using TLA+
Rysavy, Ondrej, Rab, JaroslavYear:
2008
Language:
english
DOI:
10.1109/imcsit.2008.4747321
File:
PDF, 156 KB
english, 2008