Formal Methods for Embedded Distributed Systems How to master the complexity /

Formal Methods for Embedded Distributed Systems How to master the complexity /

The development of any Software (Industrial) Intensive System, e.g. critical embedded software, requires both different notations, and a strong devel- ment 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 (Editor), Lemoine, Michel (Editor)
Format: Electronic eBook
Language:English
Published: Boston, MA : Springer US, 2004.
Subjects:
Computer science.
Microprocessors.
Software engineering.
Computers.
Computer-aided engineering.
Computer Science.
Theory of Computation.
Software Engineering/Programming and Operating Systems.
Computing Methodologies.
Processor Architectures.
Computer-Aided Engineering (CAD, CAE) and Design.
Online Access:Full Text via HEAL-Link

Internet

Full Text via HEAL-Link

ΒΚΠ - Πατρα: ALFd

Holdings details from ΒΚΠ - Πατρα: ALFd
Call Number: 330.01 BAU
Copy 1 Available

ΒΚΠ - Πατρα: BSC

Holdings details from ΒΚΠ - Πατρα: BSC
Call Number: 330.01 BAU
Copy 2 Available
Copy 3 Available

Similar Items