QR-Code

VERIFICATION AND VALIDATION OF REAL-TIME SOFTWARE /

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Bologna, S.
Weitere Verfasser:	Quirk, W. J. (HerausgeberIn)
Format:	Buch
Sprache:	Englisch
Veröffentlicht:	Berlin : Springer, 1985
Online-Zugang:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

GUIDELINE FOR LIFECYCLE VALIDATION, VERIFICATION, AND TESTING OF COMPUTER SOFTWARE.
Veröffentlicht: (1984)

Verification and validation in scientific computing /
von: Oberkampf, William L. 1944-, et al.
Veröffentlicht: (2010)

Specification and compositional verification of real-time systems /
von: Hooman, Jozef Johannes Maria
Veröffentlicht: (1991)

REAL TIME SOFTWARE /
von: Glass, Robert L.
Veröffentlicht: (1983)

Formal techniques for verification of complex real-time systems /
von: Geilen, Marc Constantijn Willem
Veröffentlicht: (2002)

Real-time multicomputer software systems /
von: Stein, Richard Marlon
Veröffentlicht: (1992)

Introduction to real-time software design /
von: Allworth, Steve T.
Veröffentlicht: (1981)

Real-time systems : formal specification and automatic verification /
von: Olderog, Ernst-Rüdiger, et al.
Veröffentlicht: (2008)

SSPTV - a software system for programs testing and verification /
von: Bologna, S., et al.
Veröffentlicht: (1978)

A constructive method for the architectural design and correctness verification of real-time programs /
von: Saukkonen, Samuli
Veröffentlicht: (1983)

SOFTWARE ENGINEERING. ANALYSIS AND VERIFICATION /
von: Lewis, Theodore Gyle
Veröffentlicht: (1982)

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
von: Przigoda, Nils
Veröffentlicht: (2018)

Software engineering for parallel real-time systems : Proceedings of the internat. workshop, Smolenice, March 1993 /
von: Henkel, J.
Veröffentlicht: (1993)

Software safety verification in critical software intensive systems /
von: Rodríguez Dapena, Patricia
Veröffentlicht: (2002)

BASIC programming in real time /
von: Cassel, Don
Veröffentlicht: (1975)

Observing the Oceans in Real Time
Veröffentlicht: (2018)

Real-time PCR : current technology and applications /
von: Logan, Julie. (Julie M. J.), et al.
Veröffentlicht: (2009)

The design of real time applications /
von: Blackman, Maurice
Veröffentlicht: (1976)

Real - time computer systems /
von: Freedman, A. L., et al.
Veröffentlicht: (1977)

STRATEGIES FOR REAL TIME SYSTEM SPECIFICATION /
von: Hatley, Derek J.
Veröffentlicht: (1987)

A calculus of real time systems /
von: Wang, Yi
Veröffentlicht: (1991)

Real time languages. Design and development /
von: Young, Stephen J.
Veröffentlicht: (1982)

Real-time computer control. An introduction /
von: Bennett, Stuart
Veröffentlicht: (1994)

Real-time embedded systems : optimization, synthesis, and networking /
von: Qiu, Meikang, et al.
Veröffentlicht: (2011)

Application of FPGA to Real‐Time Machine Learning Hardware Reservoir Computers and Software Image Processing /
von: Antonik, Piotr
Veröffentlicht: (2018)

Fault tree and cause consequence analysis for control software validation /
von: Taylor, J. R.
Veröffentlicht: (1982)

MULTIPLE PROCESSOR SYSTEMS FOR REAL-TIME APPLICATIONS /
von: Liebowitz, Burt H.
Veröffentlicht: (1985)

Distributed algorithms for hard real-time systems /
von: Alstein, Dick
Veröffentlicht: (1996)

Scheduler optimization in real-time distributed databases /
von: Bodlaender, Maarten Peter
Veröffentlicht: (1999)

Parallel processing in industrial real-time applications /
von: Lawson, Harold W.
Veröffentlicht: (1992)

Concurrent and real-time systems. The CSP approach /
von: Schneider, Steve
Veröffentlicht: (2000)

Real-time control of electric power systems /
Veröffentlicht: (1972)

Lecture Notes in Real-Time Intelligent Systems
Veröffentlicht: (2018)

Real-Time Modelling and Processing for Communication Systems Applications and Practices /
Veröffentlicht: (2018)

A practical guide to real-time systems development /
von: Goldsmith, Sylvia
Veröffentlicht: (1993)

Real-Time Coaching and Pre-Service Teacher Education
von: Stahl, Garth
Veröffentlicht: (2018)

Real-Time Quantum Dynamics of Electron-Phonon Systems
von: Rizzi, Valerio
Veröffentlicht: (2018)

Layout design and verification /
von: Ueda, Kazuhiro
Veröffentlicht: (1986)

Program construction and verification /
von: Backhouse, Roland C.
Veröffentlicht: (1986)

Compiler Specification and Verification /
von: Polak, Wolfgang
Veröffentlicht: (1981)