Timed automaton - PDFSEARCH.IO - Document Search Engine

Timed automaton
Results: 14

#	Item
1	The Compositional Specication of Timed Systems A Tutorial Joseph Sifakis Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:31 Models of computation Concurrency Petri net Synchronization Process calculus Transition system Computing Abstraction Metaphor Timed automaton
2	Microsoft Word - Gomaa-ACES2011-submitted-4August2011.docx Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - Date: 2012-03-23 03:32:40 Abstraction Model checkers Timed automaton Uppaal Model Checker Model checking Is-a Software engineering Computing Computer programming
3	Microsoft Word - IBSAlgorithms.doc Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:45:53 Finite automata Timed automaton Logic in computer science Automated planning and scheduling Fluent Finite-state machine Theoretical computer science Planning Domain Definition Language Models of computation
4	C:/Users/giorgio/Documents/CVS_TAHN/main.dvi Add to Reading List Source URL: www.disi.unige.it Language: English - Date: 2011-07-22 11:24:27 Base General topology Timed automaton Mathematics
5	On the Verification of Timed Ad Hoc Networks Parosh Aziz Abdulla1 , Giorgio Delzanno2 , Othmane Rezine1 , Arnaud Sangnier3⋆ , and Riccardo Traverso2 1 Uppsala University Add to Reading List Source URL: verify.disi.unige.it Language: English - Date: 2012-11-13 20:01:41 Timed automaton Base Topology Routing algorithms Network theory
6	✲ Towards Validated Real-Time Software✲ Valérie BERTIN†, Michel POIZE, Jacques PULOU Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:30 Hardware description languages Synchronous programming languages Model checkers Formal methods Timed automaton Esterel Model checking Uppaal Model Checker SIGNAL
7	PII: Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-03-05 16:37:08 Finite automata Timed automaton Muller automaton Deterministic automaton Finite-state machine Regular language Nondeterministic finite automaton Alphabet Automata theory -automaton
8	Online Appendix to: MAPE-K Formal Templates to Rigorously Design Behaviors for Self-Adaptive Systems DIDAC GIL DE LA IGLESIA, Linnaeus University DANNY WEYNS, Linnaeus University Add to Reading List Source URL: homepage.lnu.se Language: English - Date: 2015-01-21 07:12:04 Finite automata Timed automaton Finite-state machine Clock Cellular automata Models of computation
9	The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation is given to Rajeev Alur and David Dill for their inv Add to Reading List Source URL: eacsl.kahle.ch Language: English Theoretical computer science Rajeev Alur Logic in computer science Symposium on Logic in Computer Science Automata Hybrid automaton Formal languages Timed automaton
10	Synthesizing Bots Emotional Behaviors through Fuzzy Cognitive Processes Giovanni Acampora, Member, IEEE, Fabio Ferraguto, and Vincenzo Loia , Senior Member, IEEE Abstract— Video games are one of the most significative Add to Reading List Source URL: game.itu.dk Language: English - Date: 2010-08-10 12:41:00 Artificial intelligence Control engineering Fuzzy logic Logic in computer science Fuzzy control system Timed automaton Petri net Control system Finite-state machine Emotion Computational intelligence