Cover Image

Formal development of a network-centric RTOS : software engineering for reliable embedded systems /

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Verhulst, Eric
Format: eBook
Language:English
Published: New York : Springer, [2011]
Subjects:
Distributed operating systems (Computers)
Embedded computer systems.
Formal methods (Computer science)
Software engineering.
Electronic books.
Online Access:Connect to the full text of this electronic book
Description
Item Description:Electronic resource.
Physical Description:1 online resource.
Bibliography:Includes bibliographical references and index.
ISBN:1441997369 (electronic bk.)
9781441997364 (electronic bk.)
DOI:10.1007/978-1-4419-9736-4