We a good story
Quick delivery in the UK

Communicating Embedded Systems

- Software and Design

By C Jard
About Communicating Embedded Systems

Formal methods are mathematically-based techniques and provide a clean framework in which to express requirements and models of the systems, taking into account discrete, stochastic and continuous (timed or hybrid) parameters with increasingly efficient tools.

Show more
  • Language:
  • English
  • ISBN:
  • 9781848211438
  • Binding:
  • Hardback
  • Pages:
  • 288
  • Published:
  • November 5, 2009
  • Dimensions:
  • 158x236x23 mm.
  • Weight:
  • 522 g.
Delivery: 2-4 weeks
Expected delivery: May 30, 2025

Description of Communicating Embedded Systems

Formal methods are mathematically-based techniques and provide a clean framework in which to express requirements and models of the systems, taking into account discrete, stochastic and continuous (timed or hybrid) parameters with increasingly efficient tools.

User ratings of Communicating Embedded Systems



Find similar books
The book Communicating Embedded Systems can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.