Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Lakhnech, Yassine.
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault -Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004. Proceedings / edited by Yassine Lakhnech, Sergio Yovine. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540302063
Computer science.; Memory management (Computer science).; Software engineering.; Logic design.; Computer Science.; Logics and Meanings of Programs.; Programming Languages, Compilers, Interpreters.; Processor Architectures.; Special Purpose and Application-Based Systems.; Software Engineering.; Memory Structures.
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault -Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004. Proceedings / edited by Yassine Lakhnech, Sergio Yovine. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540302063
Computer science.; Memory management (Computer science).; Software engineering.; Logic design.; Computer Science.; Logics and Meanings of Programs.; Programming Languages, Compilers, Interpreters.; Processor Architectures.; Special Purpose and Application-Based Systems.; Software Engineering.; Memory Structures.