Formal Modeling and Analysis of Timed Systems
Cassez, Franck.
Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings / edited by Franck Cassez, Claude Jard. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540857785
Computer science.; Computer system performance.; Software engineering.; Information theory.; Logic design.; Computer Science.; Logics and Meanings of Programs.; Theory of Computation.; Models and Principles.; Programming Languages, Compilers, Interpreters.; Software Engineering.; System Performance and Evaluation.
Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings / edited by Franck Cassez, Claude Jard. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540857785
Computer science.; Computer system performance.; Software engineering.; Information theory.; Logic design.; Computer Science.; Logics and Meanings of Programs.; Theory of Computation.; Models and Principles.; Programming Languages, Compilers, Interpreters.; Software Engineering.; System Performance and Evaluation.