Étienne André - książki - KrainaKsiazek.pl

	The Inverse Method: Parametric Verification of Real-Time Unbedded Systems ISBN: 9781848214477 / Angielski / Twarda / 2013 / 168 str. ISBN: 9781848214477/Angielski/Twarda/2013/168 str. Termin realizacji zamówienia: ok. 30 dni roboczych (Bez gwarancji dostawy przed świętami) Etienne Andr?; Romain Soulat This book introduces state-of-the-art verification techniques for real-time embedded systems, based on the inverse method for parametric timed automata. It reviews popular formalisms for the specification and verification of timed concurrent systems and, in particular, timed automata as well as several extensions such as timed automata equipped with stopwatches, linear hybrid automata and affine hybrid automata. The inverse method is introduced, and its benefits for guaranteeing robustness in real-time systems are shown. Then, it is shown how an iteration of the inverse method can... This book introduces state-of-the-art verification techniques for real-time embedded systems, based on the inverse method for parametric timed auto...

	cena: 677,76 zł

	Formal Modeling and Analysis of Timed Systems: 17th International Conference, Formats 2019, Amsterdam, the Netherlands, August 27-29, 2019, Proceeding ISBN: 9783030296612 / Angielski / Miękka / 2019 / 301 str. ISBN: 9783030296612/Angielski/Miękka/2019/301 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Etienne Andre; Marielle Stoelinga

	cena: 201,72 zł

	Dispersal ISBN: 9780198506607 / Angielski / Twarda / 2001 / 480 str. ISBN: 9780198506607/Angielski/Twarda/2001/480 str. Termin realizacji zamówienia: ok. 30 dni roboczych (Bez gwarancji dostawy przed świętami) Jean Clobert; Etienne Danchin; Andre A. Dhondt Habitat fragmentation and global climate change are the two major environmental threats to the persistence of species and ecosystems. The probability of a species surviving such changes is strongly dependent on its ability to track shifts in the environmental, either by moving between patches of habitat or by rapidly adapting to local condition. These 'solutions' to problems posed by environmental change depend on dispersal propensity, motivating our desire to better understand this important behavior. This book is a comprehensive overview of the new developments in the study of dispersal and... Habitat fragmentation and global climate change are the two major environmental threats to the persistence of species and ecosystems. The probability ...

	cena: 618,59 zł

Kategorie główne