Towards dependable development tools for embedded systems: a case study in software verification

ISSN： 1362-3079

Source： Journal of Experimental & Theoretical Artificial Intelligence, Vol.12, Iss.4, 2000-10, pp. : 489-498

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

A survey of formal verification methods and tools for embedded and real-time systems

By Cheng Albert Mo Kim

International Journal of Embedded Systems, Vol. 2, Iss. 3-4, 2007-08 ,pp. : 184-195

Inderscience Publishers

Access to resources Recommend Favorite

Case-Based Knowledge Management Tools for Software Development

By Henninger S.

Automated Software Engineering, Vol. 4, Iss. 3, 1997-07 ,pp. : 319-340

Springer Publishing Company

Access to resources Recommend Favorite

New Alternatives to the Estimation Problem in Hardware-Software Codesign of Complex Embedded Systems: The H.261 Video Co-dec Case Study

By Maestro Juan Mozos Daniel Dormido Raquel Reviriego Pedro

Design Automation for Embedded Systems, Vol. 9, Iss. 3, 2004-09 ,pp. : 193-210

Springer Publishing Company

Access to resources Recommend Favorite

Special Issue on Dependable Software Systems: Associate Editor's Introduction

By Lloyd John

Computer Journal, Vol. 56, Iss. 6, 2013-06 ,pp. : 671-673

Oxford University Press

Access to resources Recommend Favorite

A System for Generating Reverse Engineering Tools: A Case Study of Software Modularisation

By Canfora G.

Automated Software Engineering, Vol. 6, Iss. 3, 1999-07 ,pp. : 233-263

Springer Publishing Company

Access to resources Recommend Favorite