Microprogram — Oriented model of the controlled structure

  • I. Hansen
  • J. Leszczyłowski
Part of the Lecture Notes in Computer Science book series (LNCS, volume 45)


Proper 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.

Unable to display preview. Download preview PDF.

6. Bibliography

  1. [1].
    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
  2. [2].
    I.Hansen, J.Leszczyłowski Structure-context approach to microprogram analysis I Computation Centre Polish Academy of Sciences Reports, 1976Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1976

Authors and Affiliations

  • I. Hansen
    • 1
  • J. Leszczyłowski
    • 2
  1. 1.Institute of Computer ScienceWarsaw Technical UniversityWarszawaPoland
  2. 2.Computation CentrePolish Academy of Sciences PKiNWarszawaPoland

Personalised recommendations