[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 1101 || The discrete time toolbus
- 作者Wirsing, Martin; Nivat, Maurice
- 文件大小875.46KB
- 发表时间1996
- DOI10.1007/bfb0014323
- 页码286-305
[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 1101 || Incremental formalizationWirsing, Martin; Nivat, Maurice · 1996
[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 1101 || Algebraic view specificationWirsing, Martin; Nivat, Maurice · 1996
[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 1101 || CtCoq: A system presentationWirsing, Martin; Nivat, Maurice · 1996
[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 1101 || The discrete time toolbusWirsing, Martin; Nivat, Maurice · 1996
[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 1101 || Boolean formalism and explanationsWirsing, Martin; Nivat, Maurice · 1996
[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 1101 || Towards heterogeneous formal specificationsWirsing, Martin; Nivat, Maurice · 1996
[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 1101 || Preprocessing for invariant validationWirsing, Martin; Nivat, Maurice · 1996
[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 1101 || Proplane: A specification development environmentWirsing, Martin; Nivat, Maurice · 1996