"Solving Real-Time Scheduling Problems with Model-Checking"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Solving real world problems with transportation engineering	Joe Greek	2016	Rosen Publishing
Solving real world problems with electrical engineering	Laura Loria	2015	Rosen Publishing
Solving real world problems with mechanical engineering	Therese Shea	2016	Britannica Educational Publishing in association with Rosen Educational Services
Solving real world problems with chemical engineering	Don Rauf	2016	Britannica Educational Publishing
Solving real world problems with civil engineering	Therese Shea	2016	Britannica Educational Publishing, in association with Rosen Educational Services
Solving real world problems with agricultural engineering	Marcia Amidon Lüsted	2016	Britannica Educational Publishing
Model checking /	Clarke, Edmund M.,		The MIT Press
Model checking /	Clarke, Edmund M.,; Grumberg, Orna.; Peled, Doron A.,	c1999.	MIT Press,
Model checking /	Clarke, Edmund M.,; Grumberg, Orna,; Peled, Doron A.,	©1999.	MIT Press,
Real-time scheduling problems in a general flexible manufacturing system /	Raman, Narayan.	1994.	Garland Pub.,
Scheduling in Real-Time Systems	Francis Cottet	2002	John Wiley & Sons
Scheduling in real-time systems /	Cottet, Francis.	[2002], ©2002.	J. Wiley,
Multiprocessor Scheduling for Real-Time Systems	Sanjoy Baruah; Marko Bertogna; Giorgio Buttazzo	2015	Springer International Publishing
Real-time Systems Scheduling Volume 1	Maryline Chetto	2014	John Wiley & Sons
Real-time Systems Scheduling Volume 2	Maryline Chetto	2014	John Wiley & Sons
Symbolic Model Checking	Kenneth L. McMillan	1993	Springer US
Statistics With R: Solving Problems Using Real-World Data	Jenine K. Harris	January 2020	SAGE Publications, Inc
Solving real world problems with environmental and green engineering	Kristi Lew	2016	Britannica Educational Publishing in association with Rosen Educational Services
Real-Time Systems: Scheduling, Analysis, and Verification	Albert M. K. Cheng	2002	John Wiley & Sons
Handbook of Model Checking	Edmund M. Clarke; Thomas A. Henzinger; Helmut Veith; Roderick Bloem	1st ed. 2018	Springer International Publishing
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
Solving Real-Time Scheduling Problems with Model-Checking	Zonghua Gu	Embedded Software and Systems: Second International Conference, ICESS 2005, Xi' an, China, December 16-18, 2005, Proceedings	Laurence T. Yang; Xingshe Zhou; Wei Zhao; Zhaohui Wu; Yian Zhu; Man Lin	2005	Springer Berlin Heidelberg
Model Checking Real-Time Systems	Patricia Bouyer; Uli Fahrenberg; Kim Guldstrand Larsen; Nicolas Markey; Joël Ouaknine; James Worrell	Handbook of Model Checking	Edmund M. Clarke; Thomas A. Henzinger; Helmut Veith; Roderick Bloem	1st ed. 2018	Springer International Publishing
Solving Problems with Time		Elementary and Middle School Mathematics: Teaching Developmentally	John A. Van de Walle, Karen S. Karp, Jennifer M. Bay-Williams	2016	Pearson
Real-time scheduling with MapReduce	Frederic Magoules; Jie Pan; Fei Teng	Cloud Computing: Data-Intensive Computing and Scheduling	Frederic Magoules; Jie Pan; Fei Teng	2013	Routledge
Real-Time Model-Checking: Parameters Everywhere	Véronique Bruyère; Jean-François Raskin	FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science: 23rd Conference, Mumbai India, December 15-17, 2003, Proceedings	Paritosh K Pandya; Jaikumar Radhakrishnan	2003	Springer Berlin Heidelberg
Model-checking for real-time systems	Kim G. Larsen; Paul Pettersson; Wang Yi	Fundamentals of Computation Theory: 10th International Conference, FCT ' 95, Dresden, Germany, August 22 - 25, 1995. Proceedings	Horst Reichel	1995	Springer Berlin Heidelberg
Solving real-life Time-Tabling Problems	Martin Schmidt	Foundations of Intelligent Systems: 11th International Symposium, ISMIS' 99, Warsaw, Poland, June 8-11, 1999, Proceedings	Zbigniew W. Ras	1999	Springer Berlin Heidelberg
Solving Real Problems		Mastering Regular Expressions 3rd: Regular Expressions	[美] Jeffrey E·F·Friedl	2006	O'Reilly Media
Solving real problems		Quantitative methods for business	Waters, C. Donald J	2011	Financial Times Prentice Hall (a Pearson Education Company)
Solving Real Problems		Mastering Regular Expressions	Jeffrey E.F. Friedl	2006	O'Reilly Media
Real-Time Scheduling	Bruno Bouyssounouse; Joseph Sifakis	Embedded Systems Design: The ARTIST Roadmap for Research and Development	Bruno Bouyssounouse; Joseph Sifakis	2005	Springer Berlin Heidelberg
Real-Time Scheduling	Hermann Kopetz	Real-Time Systems: Design Principles for Distributed Embedded Applications	Hermann Kopetz	2nd ed. 2011	Springer US
Real-Time Scheduling		Real-Time Systems: Design Principles for Distributed Embedded Applications	Hermann Kopetz	1997	Springer US
Real-Time Scheduling	Xiaocong Fan	Real-Time Embedded Systems	Xiaocong Fan	2015	Newnes
Real-Time Scheduling	Xiaocong Fan	Real-Time Embedded Systems	Xiaocong Fan	2015	Newnes
Real-Time Scheduling	Xiaocong Fan	Real-Time Embedded Systems	Xiaocong Fan	2015	Newnes
Real-Time Scheduling		Real-time Java programming with Java RTS	Bruno, Eric J.; Bollella, Gregory	2009	Prentice Hall
Real-Time Scheduling		Programming Embedded Systems with C and GNU Development Tools: Thinking Inside the Box	Michael Barr; Anthony Massa	2006	O'Reilly Media
Real-Time Scheduling		Programming Embedded Systems: With C and GNU Development Tools, 2nd Edition	Michael Barr, Anthony Massa	2006	O'Reilly Media
Real-Time Scheduling		Principles of Cyber-Physical Systems	Rajeev Alur	2015	MIT Press
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Solving Real-Time Scheduling Problems with Model-Checking" - similar Books and Chapters