"Real-Time Specification Patterns and Tools"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Specification and Proof in Real Time CSP	Jim Davies	1993-05	Cambridge University Press
Real Time Programming: Languages, Specification & Verification	R. K. Shyamasundar, S. Ramesh	2002	World Scientific Publishing Company
Strategies for real-time system specification	Derek J. Hatley	1988	Dorset House Publishing
The real-time specification for Java	James Gosling; Peter Dibble	2000	Addison-Wesley
Strategies for real-time system specification	Derek J. Hatley	1987	Dorset House Pub.
Specification and Compositional Verification of Real-Time Systems	Jozef Hooman	1991	Springer Berlin Heidelberg
Real-Time Systems: Formal Specification and Automatic Verification	Ernst-Rüdiger Olderog; Henning Dierks	2008-09	Cambridge University Press
Tools and patterns	Albert Atkins Dowd	1918	Industrial extension institute
Real-Time Design Patterns: Robust Scalable Architecture for Real-Time Systems	Bruce Powel Douglass	2002	Addison-Wesley Professional
Specification and Design Methodology for Real-Time Embedded Systems	Randall S. Janka	2002	Springer US
Real-Time Systems Design and Analysis: Tools for the Practitioner	Phillip A. Laplante; Seppo J. Ovaska	2012	Wiley-IEEE Press
Doing hard time: developing real-time systems with UML, objects, frameworks, and patterns /	Douglass, Bruce Powel.	[1999], ©1999.	Addison-Wesley,
Larch: Languages and Tools for Formal Specification	John V. Guttag; James J. Horning; S. J. Garland; K. D. Jones; A. Modet; J. M. Wing	1993	Springer New York
High Efficiency Video Coding: Coding Tools and Specification	Mathias Wien	2015	Springer Berlin Heidelberg
Real-time systems and programming languages: Ada 95,real-time Java and real-time POSIX	Burns, Alan; Alan Burns; Andy Wellings	2001	Addison-Wesley
Patterns in time	Walter W. Coulthard	1964	J.M. Dent & Sons (Canada)
Recess Time: Patterns	Lisa Greathouse	2011	Teacher Created Materials, Incorporated
Real-Time and Distributed Real-Time Systems: Theory and Applications	Amitava Gupta; Anil Kumar Chandra; Peter Luksch	2016	Routledge
The RCS handbook: tools for real-time control systems software development	Veysel Gazi; Mathew L. Moore; Kevin M. Passino; William P. Shackleford; Frederick M. Proctor; James S. Albus	2001	Wiley
Time,energy,and stone tools	Robin Torrence	1989	Cambridge University Press
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 Specification Patterns and Tools	Nouha Abid; Silvano Dal Zilio; Didier Le Botlan	Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings	Mariëlle Stoelinga; Ralf Pinger	2012	Springer Berlin Heidelberg
On Implementing Real-Time Specification Patterns Using Observers	John D. Backes; Michael W. Whalen; Andrew Gacek; John Komp	NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings	Sanjai Rayadurgam; Oksana Tkachuk	1st ed. 2016	Springer International Publishing
Real-time specification inheritance anomalies and real-time filters	Mehmet Aksit; Jan Bosch; William van der Sterren; Lodewijk Bergmans	ECOOP ' 94 - Object-Oriented Programming: 8th European Conference, Bologna, Italy, July 4-8, 1994. Proceedings	Mario Tokoro; Remo Pareschi	1994	Springer Berlin Heidelberg
A Real-time Specification Language		Advances in logic, artificial intelligence and robotics Laptec 2002	Abe J M (eds )	2010	IOS Press
Specification and Analysis of Real-Time Systems Using Real-Time Maude	Peter Csaba Ölveczky; José Meseguer	Fundamental Approaches to Software Engineering: 7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - april 2, 2004, Proceedings	Michel Wermelinger; Tiziana Margaria-Steffen	2004	Springer Berlin Heidelberg
Specification and Simulation of Real Time Concurrent Systems Using Standard SDL Tools	Giacomo Bucci; Andrea Fedeli; Enrico Vicario	SDL 2003: System Design: 11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003, Proceedings	Rick Reed; Jeanne Reed	2003	Springer Berlin Heidelberg
Formative assessment tools: real time and real fast		Balanced assessment: from formative to summative	Kay Burke	2010	Solution Tree Press
Robust Specification of Real Time Components	Kim G. Larsen; Axel Legay; Louis-Marie Traonouez; Andrzej Wąsowski	Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings	Uli Fahrenberg; Stavros Tripakis	2011	Springer Berlin Heidelberg
Rigorous specification of real-time systems	Steve Schneider	Algebraic Methodology and Software Technology (AMAST’93): Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21–25 June 1993	Maurice Nivat; Charles Rattray; Teodor Rus; Giuseppe Scollo	1994	Springer London
Real-Time Animation for Formal Specification	Dominique Méry; Neeraj Kumar Singh	Complex Systems Design & Management: Proceedings of the First International Conference on Complex Systems Design & Management CSDM 2010	Marc Aiguier; Francis Bretaudeau; Daniel Krob	2010	Springer Berlin Heidelberg
Real-Time Analysis Process Patterns	Naeem Esfahani; Seyed-Hassan Mirian-Hosseinabadi; Kamyar Rafati	Advances in Computer Science and Engineering: 13th International CSI Computer Conference, CSICC 2008 Kish Island, Iran, March 9-11, 2008 Revised Selected Papers	Hamid Sarbazi-Azad; Behrooz Parhami; Seyed-Ghasem Miremadi; Shaahin Hessabi	2009	Springer Berlin Heidelberg
Real-time anti-malware tools		Cybersecurity Threats, Malware Trends, and Strategies: Mitigate exploits, malware, phishing, and other social engineering attacks	Tim Rains	2020	Packt Publishing
Using real-time monitoring tools		Windows Server 2012 Hyper-V Cookbook	Leandro Carvalho	2012	Packt Publishing
Patterns, pervasive patterns and feature specification	K. David Harrison; Abigail Kaun	Distinctive Feature Theory	T. Alan Hall	2001	De Gruyter Mouton
Specification and Verification of Distributed Real-Time Systems	M. J. Wieczorek; J. Vytopil	Reliability and Robustness of Engineering Software II: Proceedings of the Second International Conference held in Milan, Italy, during 22–24 April 1991	C.A. Brebbia; A.J. Ferrante	1991	Springer Netherlands
Specification Theories for Probabilistic and Real-Time Systems	Uli Fahrenberg; Axel Legay; Louis-Marie Traonouez	From Programs to Systems - The Systems Perspective in Computing: ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings	Saddek Bensalem; Yassine Lakhnech; Axel Legay	2014	Springer Berlin Heidelberg
Specification and refinement of continuous real-time systems	Stephen Goldsack; Kevin Lano; Eugene Durr	Transformation-Based Reactive Systems Development: 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS' 97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings	Miquel Bertran; Teodor Rus	1997	Springer Berlin Heidelberg
Specification and Verification of Polling Real-Time Systems	Henning Dierks	Ausgezeichnete Informatikdissertationen 1999	Herbert Fiedler; Oliver Günther; Werner Grass; Steffen Hölldobler; Günter Hotz; K. Rüdiger Reischuk; Bernhard Seeger; Dorothea Wagner	2000	Vieweg+Teubner Verlag
Functional specification of real-time and hybrid systems	Olaf Müller; Peter Scholz	Hybrid and Real-Time Systems: International Workshop, HART' 97, Grenoble, France, March 26-28, 1997, Proceedings	Oded Maler	1997	Springer Berlin Heidelberg
Invited Talk: Real-Time Systems Specification and Verification	J. Sifakis	Proceedings of the Eighth International Symposium on System Synthesis, September 13-15, 1995, Cannes, France /	Tima Cnrs Inpg Ujf	[1995], ©1995.	IEEE Computer Society Press,
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Real-Time Specification Patterns and Tools" - similar Books and Chapters