ATOM: An object-based formal method for real-time systems

Author： Zedan H.   Cau A.   Chen Z.   Yang H.  

Publisher： Springer Publishing Company

ISSN： 1022-7091

Source： Annals of Software Engineering, Vol.7, Iss.1-4, 1999-01, pp. : 235-256

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

Towards UML-based formal specifications of component-based real-time software

By Bianco Vieri  

International Journal on Software Tools for Technology Transfer, Vol. 9, Iss. 2, 2007-03 ,pp. : 179-192

Springer Publishing Company

Access to resources Recommend Favorite

Synthesizing structured analysis and object‐based formal specifications

By Coleman David  

Annals of Software Engineering, Vol. 3, Iss. 1, 1997-01 ,pp. : 221-253

Springer Publishing Company

Access to resources Recommend Favorite

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

A formal framework for black-box conformance testing of distributed real-time systems

By Krichen Moez  

International Journal of Critical Computer-Based Systems, Vol. 3, Iss. 1-2, 2012-01 ,pp. : 26-43

Inderscience Publishers

Access to resources Recommend Favorite

Special Issue on Object-Oriented Real-Time Systems Guest Editors' Introduction

By Hammer D.K.   Welch L.R.  

Journal of Parallel and Distributed Computing, Vol. 36, Iss. 1, 1996-07 ,pp. : 1-3

Academic Press

Access to resources Recommend Favorite