Yazar

Chaochen Zhou

12 cilt bulundu.

Cilt sonuçları

Formal Methods and Hybrid Real-Time Systems

Cliff Jones, Zhiming Liu, Jim Woodcock · Springer

542 sayfa · 2007-09-06

Computers

Duration Calculus

Chaochen Zhou, Michael R. Hansen · Springer Science & Business Media

253 sayfa · 2013-03-14

Computers

Lunar Exploration

Paolo Ulivi · Springer Science & Business Media

390 sayfa · 2004-04-06

Science

CiltFinite divergenceMichael R. Hansen, Paritosh K. Pandya, Chaochen Zhou

Finite divergence

Michael R. Hansen, Paritosh K. Pandya, Chaochen Zhou · Yayınevi bilinmiyor

29 sayfa · 1993

Kategori yok

MathematicsDuration CalculusChaochen Zhou

Duration Calculus

Chaochen Zhou · Springer

250 sayfa · 1998-12-01

Mathematics

CiltDuration calculiChaochen Zhou

Duration calculi

Chaochen Zhou · Yayınevi bilinmiyor

12 sayfa · 1993

Kategori yok

CiltAn Extended Duration Calculus for Hybrid Real-time SystemsChaochen Zhou, Michael R. Hansen, Anders P. Ravn

An Extended Duration Calculus for Hybrid Real-time Systems

Chaochen Zhou, Michael R. Hansen, Anders P. Ravn · Yayınevi bilinmiyor

26 sayfa · 1993

Kategori yok

Machine theoryA Mean Value Calculus of DurationsChaochen Zhou

A Mean Value Calculus of Durations

Chaochen Zhou · Yayınevi bilinmiyor

23 sayfa · 1993

Machine theory

CiltLecture Notes on Logical Foundations for Duration CalculusMichael R. Hansen, Chaochen Zhou

Lecture Notes on Logical Foundations for Duration Calculus

Michael R. Hansen, Chaochen Zhou · Yayınevi bilinmiyor

45 sayfa · 1993

Kategori yok

Logic, Symbolic and mathematicalLecture Notes on Logical Foundations of Duration CalculusMichael Reichhardt Hansen, Chaochen Zhou

Lecture Notes on Logical Foundations of Duration Calculus

Michael Reichhardt Hansen, Chaochen Zhou · Yayınevi bilinmiyor

70 sayfa · 1995

Logic, Symbolic and mathematical

Computer networksThe Consistency of the Calculus of Total Correctness for Communicating ProcessesZhou Chaochen, Z. Chaochen

The Consistency of the Calculus of Total Correctness for Communicating Processes

Zhou Chaochen, Z. Chaochen · Yayınevi bilinmiyor

38 sayfa · 1982

Computer networks

CiltYi-guwen-jichuChenmin Liu, Chaochen Qian, Duowen Zhou

Yi-guwen-jichu

Chenmin Liu, Chaochen Qian, Duowen Zhou · Yayınevi bilinmiyor

418 sayfa · 1981

Kategori yok