Search Results for Zhang, Haijun.

2 sonuç bulundu

Arama sonuçlarına abone ol

Tümünü Seç

1

Liste görünümüne geç

Küçük resim görünümüne geç

00DEFAULTTR

Yazdır

1.

Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach için kapak resmi

Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach

Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach

Yazar

Zhan, Naijun. author.

https://doi.org/10.1007/978-3-319-47016-0

Format:

Electronic Resources

Alıntı:

Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach / Zhan, Naijun. author.

2.

Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday için kapak resmi

Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

Yazar

Jones, Cliff. editor.

https://doi.org/10.1007/978-3-030-01461-2

Format:

Electronic Resources

Alıntı:

Zhan, Naijun. editor.

Tümünü Seç

1

2 sonuç bulundu

Arama sonuçlarına abone ol

Arama Sonuçlarını Sınırlandır

TED Üniversitesi

Ziya Gökalp Caddesi No.48 06420, Kolej Çankaya Ankara Tel: +90 312 585 0083

Powered by Informascope

Copyright 2023 Sirsi Corporation - Enterprise Version 5.2.1.2