"Real-Time Systems Development with Duration Calculi: An Overview"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Real-Time Systems Development	Rob Williams	2006	Butterworth-Heinemann
Duration Calculus: A Formal Approach to Real-Time Systems	Chaochen Zhou; Michael R. Hansen	2004	Springer Berlin Heidelberg
Structured development for real-time systems /	Ward, Paul T.; Mellor, Stephen J.	[1985-1986], ©1985-1986.	Yourdon Press,
Real-Time Systems Development with RTEMS and Multicore Processors	Gedare Bloom; Joel Sherrill; Tingting Hu; Ivan Cibrario Bertolotti	2020	Routledge
Real-time systems /	Krishna, C. M.; Shin, Kang G.	[1997], ©1997.	McGraw-Hill,
Real-Time systems /	Liu, Jane W. S.	2000.	Prentice Hall,
Real-time systems	Salah M. Badr	1992	Naval Postgraduate School;Available from National Technical Information Service
Designing large real-time systems with Ada	Kjell Nielsen	1988	Intertext Publications/Multiscience Press
Real-Time Agility: The Harmony/ESW Method for Real-Time and Embedded Systems Development	Bruce Powel Douglass	2009	Addison Wesley
Real-Time Embedded Systems	Jiacun Wang	2017	John Wiley & Sons
Real-Time Embedded Systems	Xiaocong Fan	2015	Newnes
Real-time systems education /	Zalewski, Janusz.	[1996], ©1996.	IEEE Computer Society Press,
Real-time Business Systems	Robert V. Head	Dec 14, 1964	Holt,Rinehart & Winston of Canada Ltd
Real-time systems education	Janusz Zalewski	1996	IEEE Computer Society Press
Real-time computer systems	A. L. Freedman	1977	Crane Russak
Real Time Leadership Development	Paul R. Yost	2009	John Wiley & Sons
Bioactive Polymeric Systems: An Overview	Charles G. Gebelein; Charles E. Carraher	1985	Springer US
Energy conversion systems: an overview	Sanjeevikumar Padmanaban (editor); Saurabh Mani Tripathi (editor)	2021	Nova Science Publishers, Incorporated
Systems, Patterns and Data Engineering with Geometric Calculi	Sebastià Xambó-Descamps	1st ed. 2021	Springer International Publishing
DSP Software Development Techniques for Embedded and Real-Time Systems	Robert Oshana	2006	Newnes
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Real-Time Systems Development with Duration Calculi: An Overview	Dang Van Hung	Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers	Bernhard K. Aichernig; Tom Maibaum	2003	Springer Berlin Heidelberg
Duration Calculi: An overview	Zhou Chaochen	Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings	Dines Bjørner, Manfred Broy, Igor V. Pottosin	1993	Springer Berlin Heidelberg
Duration Calculi: An overvi		Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings	Yu. L. Ershov (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)	1993	Springer-Verlag Berlin Heidelberg
Testing Distributed Real-Time Systems: An Overview	Werner Schütz	Predictably Dependable Computing Systems	Brian Randell; Jean-Claude Laprie; Hermann Kopetz; Bev Littlewood	1995	Springer Berlin Heidelberg
An Overview of Real-Time Database Systems	Ben Kao; Hector Garcia-Molina	Real Time Computing	Alexander D. Stoyenko	1994	Springer Berlin Heidelberg
An extended duration calculus for hybrid real-time systems	Zhou Chaochen; Anders P. Ravn; Michael R. Hansen	Hybrid Systems	Robert L. Grossman; Anil Nerode; Anders P. Ravn; Hans Rischel	1993	Springer Berlin Heidelberg
19. An Overview of Real-Time Database Systems	Ben Kao and Hector Garcia-Molina	Advances in real-time systems /	Son, Sang H.	1995.	Prentice Hall,
Specifying Real-Time Systems with Z and the Duration Calculus	Marcin Engel	Z User Workshop, Cambridge 1994: Proceedings of the Eighth Z User Meeting, Cambridge 29–30 June 1994	J. P. Bowen; J. A. Hall	1994	Springer London
Specifying Real-Time Systems with Z and the Duration Calcul		Z User Workshop, Cambridge 1994: Proceedings of the Eighth Z User Meeting, Cambridge 29–30 June 1994	Robert Worden (auth.), J. P. Bowen MA, J. A. Hall MA, DPhil, CEng (eds.)	1994	Springer-Verlag London
Automatic Verification of Real-Time Systems with Rich Data: An Overview	Ernst-Rüdiger Olderog	Theory and Applications of Models of Computation: 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings	Manindra Agrawal; Barry S. Cooper; Angsheng Li	2012	Springer Berlin Heidelberg
An Overview of Real-Time Alerting with Snort		Intrusion Detection with Snort	Jack Koziol	2003	Sams Publishing
Probabilistic duration automata for analyzing real-time systems	Louise E. Moser; P. M. Melliar-Smith	Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS ' 96, Passau, Germany, March 27 - 29, 1996, Proceedings.	Tiziana Margaria; Bernhard Steffen	1996	Springer Berlin Heidelberg
Duration Analysis: An Overview	Göran Bergendahl; Ted Lindblom	New Issues in Financial and Credit Markets	Franco Fiordelisi; Philip Molyneux; Daniele Previati	2010	Palgrave Macmillan UK
Overview of Embedded Systems and Real-Time Systems	Robert Oshana	DSP Software Development Techniques for Embedded and Real-Time Systems	Robert Oshana	2006	Newnes
Real-Time Calculi and Expansion Theorems	Jens Chr. Godskesen; Kim G. Larsen	NAPAW 92: Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992	S. Purushothaman; Amy Zwarico	1993	Springer London
Real-time calculi and expansion theorems	Jens Chr. Godskesen; Kim G. Larsen	Foundations of Software Technology and Theoretical Computer Science: 12th Conference, New Delhi, India, December 18-20, 1992. Proceedings	Rudrapatna Shyamasundar	1992	Springer Berlin Heidelberg
All Those Duration Calculi: An Integrated Approach	Paritosh K. Pandya	Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems: Proceedings of the GM R& D Workshop, Bangalore, India, January 2007	S. Ramesh; P. Sampath	2007	Springer Netherlands
Development of Real-time AI Systems		Artificial Intelligence in Real-Time Control 1992	M. G. Rodd and H. B. Verbruggen	1993	Pergamon
Real-Time Operating Systems: Course Development	Michael Rivnak; Leonidas Deligiannidis	Advances in Security, Networks, and Internet of Things: Proceedings from SAM' 20, ICWN' 20, ICOMP' 20, and ESCS' 20	Kevin Daimi; Hamid R. Arabnia; Leonidas Deligiannidis; Min-Shiang Hwang; Fernando G. Tinetti	1st ed. 2021	Springer International Publishing
Overview of Real-time and Embedded Systems	Robert Oshana	DSP for Embedded and Real-Time Systems	Oshana; Robert	2012	Newnes
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Real-Time Systems Development with Duration Calculi: An Overview" - similar Books and Chapters