claude jard
Communicating Embedded Systems
EbookSofort lieferbarThe increased complexity of embedded systems coupled with quickdesign cycles to accommodate faste...
Communicating Embedded Systems
EbookSofort lieferbarThe increased complexity of embedded systems coupled with quickdesign cycles to accommodate faste...
Formal Modeling and Analysis of Timed Systems
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 6th International Conference on Formal Mode...
Modeling and Verification of Parallel Processes
EbookSofort lieferbarDaily life relies more and more on safety critical systems, e.g. in areas such as power plant con...
Modeling and Verification of Parallel Processes
TaschenbuchPrint on DemandDaily life relies more and more on safety critical systems, e.g. in areas such as power plant con...
Formal Modeling and Analysis of Timed Systems
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings of the 6th International Conference on Formal Mode...
- 1