215 treff

sanntidssystemer
Proceedings : 17th IEEE Real-Time Systems Symposium, December 4-6, 1996, Washington, DC
Real-Time Systems Symposium
Bok Engelsk 1996 · Vis mer
Formal techniques in real-time and fault-tolerant systems : third international symposium organized jointly with the Working Group Provably Correct Systems - ProCoS, Lübeck, Germany, September 19-23, 1994 : proceedings
H. Langmaack, W.-P. de Roever, J. Vytopil...
Bok Engelsk 1994 · Vis mer
Engineering real time systems with an object-oriented methodology based on SDL
Rolv Bræk, Øystein Haugen
Bok Engelsk 1992 · Vis mer
If I only changed the software, why is the phone on fire? : embedded debugging methods revealed technical mysteries for engineers
by Lisa Simone
Bok Engelsk 2007 · Vis mer
Specifying and managing rules in an active real-time database system
Joakim Eriksson
Bok Engelsk 1998 · Vis mer
Verifikation af sandtidsprogrammer : en indføring i brug af formelle metoder til verifikation af programmer med sideløbende processer, herunder anvendelse af Petri net
John Mølgaard, Jens Heile Heilesen
Bok Dansk 1986 · Vis mer
A constructive method for the architectural design and correctness verification of real-time programs
Samuli Saukkonen
Bok Engelsk 1983 · Vis mer
CHIPSY : the CHILL integrated programming system
Kristen Rekdal and Svein Olav Hallsteinse...
Bok Språk ikke angitt 1982 · Vis mer
The use of SIMULA for real-time system implementation
by Dag Belsnes ... [et al.]
Bok Språk ikke angitt 1978 · Les boka på nett · Vis mer
A rewriting-logic-based approach for the formal modeling and analysis of interacting hybrid systems
by Muhammad Fadlisyah
Bok Engelsk 2014 · Vis mer
Real-time rendering
Tomas Akenine-Möller, Eric Haines
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
Second European Workshop on Real-Time and Hybrid Systems : Wednesday May 31, Thursday June 1st and Friday June 2nd 1995, Grenoble, France
European Workshop on Real-Time and Hybrid Systems
Bok Engelsk 1995 · Vis mer
Hybrid car control unit (SSE) program system
Beneš, Miloslav
Bok Engelsk 1990 · Les boka på nett · Vis mer
Integer programming approaches for real-time traffic management
Andreas Nakkerud
Bok Engelsk 2022 · Vis mer
Real-time UML : developing efficient objects for embedded systems
Bruce Powel Douglass
Bok Engelsk 1998 · Vis mer
Vis flere utgaver
Vis flere utgaver
Timed modal specifications : a theory for verification of real-time concurrent systems
Jens Chr. Godskesen
Bok Engelsk 1994 · Vis mer
Synchronization in real-time systems : a priority inheritance approach
by Ragunathan Rajkumar
Bok Engelsk 1991 · Vis mer
Real-time forecasting/control of water resource systems : selected papers from an IIASA workshop, October 18-21, 1976
edited by Eric F. Wood, with the assistan...
Bok Språk ikke angitt 1980 · Vis mer
Real time programming : languages, specification and verification
Shyamasundar, Rudrapatna
Bok Engelsk 2010 · Vis mer
Real-time systems and programming languages : Ada, real-time Java and C/real-time POSIX
Alan Burns and Andy Wellings
Bok Engelsk 2009 · Vis mer
Handbook of real-time and embedded systems
edited by Insup Lee, Joseph Y-T. Leung, S...
Bok Engelsk 2008 · Vis mer
Real-time systems development
Rob Williams
Bok Engelsk 2006 · Vis mer
UML for real : design of embedded real-time systems

Bok Engelsk 2003 · Vis mer
Practice and theory of automated timetabling II : second international conference, PATAT'97, Toronto, Canada, August 20-22, 1997 : selected papers
International Conference on the Practice and Theory of Automated Timetabling
Bok Engelsk 1998 · Vis mer
Ada 95 rationale : the language, the standard libraries
John Barnes (ed.)
Bok Engelsk 1997 · Vis mer
Compiler construction : principles and practice
Kenneth C. Louden
Bok Engelsk 1997 · Vis mer
Real-time signal processing III, July 29-30, 1980, San Diego, California
Tien F. Tao, editor
Bok Engelsk 1980 · Vis mer
Real-time systems : formal specification and automatic verification
Ernst-Rüdiger Olderog and Henning Dierks
Bok Engelsk 2008 · Vis mer
Real-time systems : modeling, design, and applications
editors: Dan Ionescu, Aurel Cornell
Bok Engelsk 2007 · Vis mer
Concurrent and real-time programming in Ada 2005
Alan Burns and Andy Wellings
Bok Engelsk 2007 · Vis mer