Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formalization of digital circuits using the B method


    Beteiligte:
    Boulanger, J.-L. (Autor:in) / Aljer, A. (Autor:in) / Mariano, G. (Autor:in) / Allan, J.

    Kongress:

    International conference; 8th, Computers in railways ; 2002



    Erscheinungsdatum :

    2002-01-01


    Format / Umfang :

    10 pages


    Anmerkungen:

    Also known as the 8th International conference on computer aided design, manufacture and operation in the railway and other mass transit systems




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    METHOD OF ATTRIBUTIVE SIGNS FORMALIZATION

    B. I. Bachkalo / V. I. Zolotykh | DOAJ | 2019

    Freier Zugriff

    A formalization of measurement scale forms

    Lea, Wayne A. | TIBKAT | 1969


    THE FORMALIZATION PROCESS OF CARGO TERMINAL OPERATION

    N. Yu. Shramenko | DOAJ | 2011

    Freier Zugriff

    Formalization of Intersection Traffic Rules in Temporal Logic

    Maierhofer, Sebastian / Moosbrugger, Paul / Althoff, Matthias | IEEE | 2022


    METHOD OF GRAMMATICAL STRUCTURE FORMALIZATION OF A NATURAL LANGUAGE

    Lyubov Badyorina | DOAJ | 2013

    Freier Zugriff