Výsledky vyhledávání - "Real Time Programming: Languages, Specification And Verification"

Upřesnit hledání
  1. 1

    Real time programming : languages, specification and verification / R. K. Shyamasundar, S. Ramesh.

    Autoři: Shyamasundar, Rudrapatna (1950- ). Ramesh, S.

    Přispěvatelé: Shyamasundar, Rudrapatna (1950- ). Ramesh, S.

    Zdroj: Bibliogr. s. 235-242. Indeks.

    Témata: Programowanie w czasie rzeczywistym

    Přístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:2483060&theme=nukat

    Nájsť tento článok vo Web of Science View record at NUKAT
    Přidat do oblíbených
  2. 2

    Real Time Programming: Languages, Specification and Verification

    Autoři: R. K. Shyamasundar S Ramesh

    Témata: 4. Education, 7. Clean energy

    Přístupová URL adresa: http://ci.nii.ac.jp/ncid/BB03457342

    View record at OpenAIRE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  3. 3

    Real Time Programming: Languages, Specification And Verification

    Autoři: S Ramesh R K Shyamasundar

    Resource Type: eBook.

    Témata: Real-time programming

    Categories: COMPUTERS / Programming / General, COMPUTERS / Computer Science

    Přidat do oblíbených
  4. 4

    A model-driven approach with synchronous semantics for developing hard real-time WSNs.

    Autoři: Ro, Jin Woo Bhatti, Zeeshan E. Roop, Partha S.

    Zdroj: Proceedings of the 2014 IEEE Emerging Technology & Factory Automation (ETFA); 2014, p1-8, 8p

    Full Text Finder
    Přidat do oblíbených
  5. 5

    Multiclock ESTEREL

    Zdroj: Real Time Programming: Languages, Specification and Verification ISBN: 9789810225667

    Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  6. 6

    Synchronous Language LUSTRE

    Zdroj: Real Time Programming: Languages, Specification and Verification ISBN: 9789810225667

    Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  7. 7

    Synchronous Language ARGOS

    Zdroj: Real Time Programming: Languages, Specification and Verification ISBN: 9789810225667

    Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  8. 8

    Programming Controllers in ESTEREL

    Zdroj: Real Time Programming: Languages, Specification and Verification ISBN: 9789810225667

    Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  9. 9

    Modelling Real-Time Systems in ESTEREL

    Zdroj: Real Time Programming: Languages, Specification and Verification ISBN: 9789810225667

    Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  10. 10

    Part III. Other Synchronous Languages

    Zdroj: Real Time Programming: Languages, Specification and Verification ISBN: 9789810225667

    Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  11. 11

    Futurebus Arbitration Protocol: A Case Study

    Zdroj: Real Time Programming: Languages, Specification and Verification ISBN: 9789810225667

    Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  12. 12

    Programming Characteristics of Reactive Systems

    Zdroj: Real Time Programming: Languages, Specification and Verification ISBN: 9789810225667

    Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  13. 13

    Observer Based Verification of Simple LUSTRE Programs

    Zdroj: Real Time Programming: Languages, Specification and Verification ISBN: 9789810225667

    Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  14. 14

    Formal Program Development Methodologies

    Zdroj: Real Time Programming: Languages, Specification and Verification ISBN: 9789810225667

    Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  15. 15

    Part V: Integration of Synchrony and Asynchrony

    Zdroj: Real Time Programming: Languages, Specification and Verification ISBN: 9789810225667

    Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  16. 16

    Verification of ESTEREL Programs

    Zdroj: Real Time Programming: Languages, Specification and Verification ISBN: 9789810225667

    Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  17. 17

    Part I: Real Time Systems: Background

    Zdroj: Real Time Programming: Languages, Specification and Verification ISBN: 9789810225667

    Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  18. 18

    Communicating Reactive Processes

    Zdroj: Real Time Programming: Languages, Specification and Verification ISBN: 9789810225667

    Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  19. 19

    Program Development in ESTEREL

    Zdroj: Real Time Programming: Languages, Specification and Verification ISBN: 9789810225667

    Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  20. 20

    Part II: Synchronous Languages

    Zdroj: Real Time Programming: Languages, Specification and Verification ISBN: 9789810225667

    Nájsť tento článok vo Web of Science
    Přidat do oblíbených

Vyhledávací nástroje: