## Specification and Compositional Verification of Real-Time Systems

**Author**: Jozef Hooman

**Publisher:** Springer Science & Business Media

**ISBN:** 3540549471

**Category:** Computers

**Page:** 254

**View:** 986

**Author**: Jozef Hooman

**Publisher:** Springer Science & Business Media

**ISBN:** 3540549471

**Category:** Computers

**Page:** 254

**View:** 986

**Author**: Eric Y.T. Juan

**Publisher:** Springer Science & Business Media

**ISBN:** 9781461510093

**Category:** Computers

**Page:** 196

**View:** 292

**Author**: Jonathan P. Bowen

**Publisher:** Springer Science & Business Media

**ISBN:** 9781447134312

**Category:** Computers

**Page:** 701

**View:** 211

**Author**: Jim Davies

**Publisher:** Cambridge University Press

**ISBN:** 0521450551

**Category:** Computers

**Page:** 208

**View:** 265

**Author**: P.S. Thiagarajan

**Publisher:** Springer Science & Business Media

**ISBN:** 3540606920

**Category:** Computers

**Page:** 952

**View:** 742

**Author**: Alexander D. Stoyenko

**Publisher:** Springer Science & Business Media

**ISBN:** 9783642880490

**Category:** Computers

**Page:** 766

**View:** 949

**Author**: Michael Johnson

**Publisher:** Springer Science & Business Media

**ISBN:** 3540638881

**Category:** Computers

**Page:** 612

**View:** 886

**Author**: REX Workshop

**Publisher:** Springer Science & Business Media

**ISBN:** 3540555641

**Category:** Computers

**Page:** 740

**View:** 502

**Author**: Cliff B. Jones

**Publisher:** Springer

**ISBN:** 9783540752219

**Category:** Computers

**Page:** 542

**View:** 469

**Author**: Jan Vytopil

**Publisher:** Springer Science & Business Media

**ISBN:** 3540550925

**Category:** Computers

**Page:** 636

**View:** 649

**Author**: Jean-Raymond Abrial

**Publisher:** Springer Science & Business Media

**ISBN:** 3540619291

**Category:** Business & Economics

**Page:** 536

**View:** 344

**Author**: Thomas Gschwind

**Publisher:** Springer

**ISBN:** 9783642305641

**Category:** Computers

**Page:** 204

**View:** 562