Вы здесь

Hooman J.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Denotational Real-Time Semantics for Shared Processors 1991 Hooman J. Lecture Notes in Computer Science 13.09.1991
СТ Compositional Verification of Real-Time Systems Using Extended Hoare Triples 1992 Hooman J. Lecture Notes in Computer Science 08.08.1992
СТ Trace-Based Compositional Reasoning about Fault Tolerant Systems 1993 Schepers H., Hooman J. Lecture Notes in Computer Science 29.07.1993
СТ A Compositional Approach to the Design of Hybrid Systems 1993 Hooman J. Lecture Notes in Computer Science 09.12.1993
СТ Correctness of Real Time Systems by Construction 1994 Hooman J. Lecture Notes in Computer Science 14.10.1994
СТ Reasoning about Durations in Metric Temporal Logic 1994 Lakhneche Y., Hooman J. Lecture Notes in Computer Science 19.10.1994
СТ A Compositional Semantics for Statecharts 1989 Hooman J., Ramesh S., De Roever W. P. J.W. de Bakker, 25 Jaar Semantiek 04.10.1995
СТ Verifying Part of the ACCESS.bus Protocol Using PVS 1995 Hooman J. Lecture Notes in Computer Science 31.01.1996
СТ Using PVS for an Assertional Verification of the RPC-Memory Specification Problem 1996 Hooman J. Lecture Notes in Computer Science 24.12.1996
СТ Formal Verification of Distributed Protocols with PVS 1997 Hooman J. 9th Nordic Workshop on Programming Theory 15.04.1998
СТ Formal Verification of the Binary Exponential Backoff Protocol 1998 Hooman J. Engineering Tehnikateadused 24.07.1998
СТ Compositional Verification of Real-Time Applications 1998 Hooman J. Lecture Notes in Computer Science Lecture Notes in Computer Science 30.01.1999
СТ Process Algebra in PVS 1999 Basten T., Hooman J. Lecture Notes in Computer Science 08.04.1999
СТ Serializability Preserving Extensions of Concurrency Control Protocols 1999 Chkliaev D., Hooman J., Van Der Stok P. Perspectives of System Informatics: Preliminary Proc. of A.Ershov Third Intern. Conf. 01.07.1999
СТ Mechanical Verification of Transaction Processing Systems 2000 Chkliaev D., Hooman J., Van Der Stok P. Proc. of Third IEEE Intern Conf. on Formal Engineering Methods - ICFEM 2000 26.12.2000
СТ Verification and Improvement of the Sliding Window Protocol 2003 Chklieav D., Hooman J., De Vink E. Lecture Notes in Computer Science 17.04.2003
СТ Equivalent Semantic Models for a Distributed Dataspace Architecture 2003 Hooman J., Van De Pol J. Lecture Notes in Computer Science 31.01.2004