Explains real-time specification techniques (duration calculus, timed automata, and PLC-automata)...

HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional metho...

HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional metho...

Dieses Buch bietet als erstes Lehrbuch eine systematischeEinf}hrung in die Programmverifikation. ...

Computers are gaining more and more control over systems that we use or rely on in our daily live...

As computers increasingly control the systems and services we depend upon within our daily lives ...

This volume contains the proceedings of FTRTFT 2002, the International S- posium on Formal Techni...

As computers increasingly control the systems and services we depend upon within our daily lives ...

This Festschrift, dedicated to Bengt Jonsson on the occasion of his 60th birthday, contains paper...