QR kód

A constructive method for the architectural design and correctness verification of real-time programs /

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Saukkonen, Samuli
Médium:	Kniha
Jazyk:	angličtina
Vydáno:	Helsinki : Finnish Academy of Technical Sciences, 1983
Edice:	Mathematics and computer science series No. 40
Témata:	odborné publikácie
On-line přístup:
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

VERIFICATION AND VALIDATION OF REAL-TIME SOFTWARE /
Autor: Bologna, S.
Vydáno: (1985)

Program construction and verification /
Autor: Backhouse, Roland C.
Vydáno: (1986)

Specification and compositional verification of real-time systems /
Autor: Hooman, Jozef Johannes Maria
Vydáno: (1991)

Formal techniques for verification of complex real-time systems /
Autor: Geilen, Marc Constantijn Willem
Vydáno: (2002)

BASIC programming in real time /
Autor: Cassel, Don
Vydáno: (1975)

The design of real time applications /
Autor: Blackman, Maurice
Vydáno: (1976)

Real-time systems : formal specification and automatic verification /
Autor: Olderog, Ernst-Rüdiger, a další
Vydáno: (2008)

Real time languages. Design and development /
Autor: Young, Stephen J.
Vydáno: (1982)

Introduction to real-time software design /
Autor: Allworth, Steve T.
Vydáno: (1981)

REAL TIME SOFTWARE /
Autor: Glass, Robert L.
Vydáno: (1983)

Layout design and verification /
Autor: Ueda, Kazuhiro
Vydáno: (1986)

Proving programs correct /
Autor: Anderson, Robert Brockett, 1941-
Vydáno: (1979)

Architectural handbook. Environmental analysis, architectural programming, design and technology, and construction /
Autor: Kemper, Alfred M.
Vydáno: (1979)

Computer programs for spelling correction : an experiment in program design /
Autor: Peterson, James L.
Vydáno: (1980)

Observing the Oceans in Real Time
Vydáno: (2018)

Real-time PCR : current technology and applications /
Autor: Logan, Julie. (Julie M. J.), a další
Vydáno: (2009)

Real - time computer systems /
Autor: Freedman, A. L., a další
Vydáno: (1977)

AUTOMATIC CORRECTION AND IMPROVEMENT OF PROGRAMS /
Autor: Wertz, H.
Vydáno: (1987)

Mathematical theory of program correctness /
Autor: Bakker, Jaco de
Vydáno: (1980)

Formal foundations of correct programming /
Autor: Novitzká, Valerie
Vydáno: (1999)

Rapid cycle real-time PCR. Methods and applications. Quantification /
Autor: Hahn, Meinhard
Vydáno: (2004)

Real time programming. 1985 : Proceedings of the 13th IFAC/IFIP workshop, Purdue Univ., West Lafayette, Indiana, USA, 7. - 8. Oct. 1985 /
Autor: Fischer, A. M.
Vydáno: (1986)

A calculus of real time systems /
Autor: Wang, Yi
Vydáno: (1991)

DEFECT CORRECTION METHODS. Theory and applications /
Autor: Böhmer, Klaus
Vydáno: (1984)

STRATEGIES FOR REAL TIME SYSTEM SPECIFICATION /
Autor: Hatley, Derek J.
Vydáno: (1987)

Real-time computer control. An introduction /
Autor: Bennett, Stuart
Vydáno: (1994)

Real-time multicomputer software systems /
Autor: Stein, Richard Marlon
Vydáno: (1992)

Verification of electronic designs by reconstruction of the hierarchy /
Autor: Kostelijk, Anton Pieter
Vydáno: (1994)

Real-time embedded systems : optimization, synthesis, and networking /
Autor: Qiu, Meikang, a další
Vydáno: (2011)

TIME SAVER STANDARDS FOR ARCHITECTURAL DESIGN DATA /
Autor: Allwork, Ronald
Vydáno: (1982)

Thedesign of well-structures and correct programs /
Autor: Alagić, Suad, a další
Vydáno: (1978)

Distributed algorithms for hard real-time systems /
Autor: Alstein, Dick
Vydáno: (1996)

Scheduler optimization in real-time distributed databases /
Autor: Bodlaender, Maarten Peter
Vydáno: (1999)

Parallel processing in industrial real-time applications /
Autor: Lawson, Harold W.
Vydáno: (1992)

MULTIPLE PROCESSOR SYSTEMS FOR REAL-TIME APPLICATIONS /
Autor: Liebowitz, Burt H.
Vydáno: (1985)

Concurrent and real-time systems. The CSP approach /
Autor: Schneider, Steve
Vydáno: (2000)

Real-time control of electric power systems /
Vydáno: (1972)

Lecture Notes in Real-Time Intelligent Systems
Vydáno: (2018)

Conceptual models in man-machine design verification /
Autor: Rasmussen, Jens
Vydáno: (1985)

Low-Power Design and Power-Aware Verification
Autor: Khondkar, Progyna
Vydáno: (2018)