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
Search Result 1
Cover Image
Published 2004
Book
Show all versions (2)