UML- B specification for proven embedded systems design /

• Main Author: Bernin, Fredrik
• Other Authors: Mermet, Jean
• Format: Book
• Language: English
• Published: Boston : Kluwer Academic Publishers, c2004
• Subjects: Application software; B (Computer program language); Embedded computer systems; UML (Computer science)