Back to Search Start Over

Formal Development of a Network-Centric RTOS

Authors :
José Miguel Sampaio Faria
Vitaliy Mezhuyev
Raymond T. Boute
Bernhard H. C. Sputh
Eric Verhulst
Source :
Formal Development of a Network-Centric RTOS
Publication Year :
2011
Publisher :
Springer US, 2011.

Subjects

Subjects :
business.industry
Computer science
Formal development
Software engineering
business
Real-time operating system

Details

Database :
OpenAIRE
Journal :
Formal Development of a Network-Centric RTOS
Accession number :
edsair.doi...........a7f9c031e920d6c8b7be16f6a992bb3d
Full Text :
https://doi.org/10.1007/978-1-4419-9736-4
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details