TY - BOOK ID - 5362659 TI - Formal Techniques in Real-Time and Fault-Tolerant Systems : 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings AU - Joseph, Mathai. AU - FTRTFT 2000 PY - 2000 VL - 1926 SN - 03029743 SN - 3540410554 9783540410553 3540453520 PB - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, DB - UniCat KW - Real-time data processing KW - Fault-tolerant computing KW - Computer Science KW - Engineering & Applied Sciences KW - Computer science. KW - Logic design. KW - Microprocessors. KW - Special purpose computers. KW - Architecture, Computer. KW - Programming languages (Electronic computers). KW - Computer logic. KW - Computer Science. KW - Programming Languages, Compilers, Interpreters. KW - Computer System Implementation. KW - Logics and Meanings of Programs. KW - Processor Architectures. KW - Special Purpose and Application-Based Systems. KW - Logic Design. KW - Computer network architectures. KW - Software engineering. KW - Computer software engineering KW - Engineering KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Machine theory KW - Switching theory KW - Architectures, Computer network KW - Network architectures, Computer KW - Computer architecture KW - Informatics KW - Science KW - Special purpose computers KW - Computers KW - Minicomputers KW - Computer science logic KW - Logic, Symbolic and mathematical KW - Architecture, Computer KW - Computer languages KW - Computer program languages KW - Computer programming languages KW - Machine language KW - Electronic data processing KW - Languages, Artificial KW - Real-time data processing - Congresses KW - Fault-tolerant computing - Congresses UR - https://www.unicat.be/uniCat?func=search&query=sysid:5362659 AB - ER -