Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

112

Voted

FMSD
2007

78views more FMSD 2007»

Providing a formal linkage between MDG and HOL

15 years 3 months ago

Providing a formal linkage between MDG and HOL

Download hvg.ece.concordia.ca

Haiyan Xiong, Paul Curzon, Sofiène Tahar, A

Real-time Traffic

FMSD 2007 |

claim paper

Related Content

» Providing Automated Verification in HOL Using MDGs

» LCFstyle for Secure Verification Platform based on Multiway Decision Graphs

» The Village Telephone System A Case Study in Formal Software Engineering

» A Rigorous Approach to Networking TCP from Implementation to Protocol to Service

» Formal Reliability Analysis Using Theorem Proving

» The Antecedents of Information Systems Development Capability in Firms A Knowledge Integra...

» Eliciting information for product modeling using process modeling

» Belief updating in multiply sectioned Bayesian networks without repeated local propagation...

Post Info
More Details (n/a)

Added	14 Dec 2010
Updated	14 Dec 2010
Type	Journal
Year	2007
Where	FMSD
Authors	Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford

Comments (0)