Microprogram — Oriented model of the controlled structure
Part of the Lecture Notes in Computer Science book series (LNCS, volume 45)
KeywordsProper Action Verification Method Arbitrary Structure Follow Theorem State 0GRAM Analysis
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Unable to display preview. Download preview PDF.
- .A.Blikle, S.Budkowski A general program — verification method applied to microprograms, Proceedings of International Symposium on Fault-Tolerance Computing Pittsburg, Pa., June 21–23, 1976Google Scholar
- .I.Hansen, J.Leszczyłowski Structure-context approach to microprogram analysis I Computation Centre Polish Academy of Sciences Reports, 1976Google Scholar
© Springer-Verlag Berlin Heidelberg 1976