Cover Image

Formal methods for embedded distributed systems : how to master the complexity /

Show other versions (1)

The development of any Software (Industrial) Intensive System, e.g. critical embedded software, requires both different notations, and a strong development process. Different notations are mandatory because different aspects of the Software System have to be tackled. A strong development process is...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Kordon, Fabrice, Lemoine, Michel, 1947-
Format: eBook
Language:English
Published: Boston : Kluwer Academic, [2004]
Subjects:
Electronic data processing > Distributed processing.
Embedded computer systems.
COMPUTERS > Programming > Open Source.
COMPUTERS > Software Development & Engineering > Tools.
COMPUTERS > Software Development & Engineering > General.
Traitement réparti.
Systèmes enfouis (Informatique)
Formele logica.
Systeemontwerp.
Programmatuurtechniek.
Embedded systems.
Electronic books.
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number: QA76.9.D5 F6625 2004eb
 
Call Number Status Get It
QA76.9.D5 F6625 2004eb Available