Results 151 to 160 of about 4,693,176 (171)
Some of the next articles are maybe not open access.
2004
Abstract : We developed modified linear hybrid automata models for complex real-time tasks, e.g. tasks that have complex internal behaviors, may interact or synchronize in complex ways, and may have variable or not-fully-known timing characteristics. We report on investigations of partial order methods, approximation methods, abstraction methods, and ...
openaire +1 more source
Abstract : We developed modified linear hybrid automata models for complex real-time tasks, e.g. tasks that have complex internal behaviors, may interact or synchronize in complex ways, and may have variable or not-fully-known timing characteristics. We report on investigations of partial order methods, approximation methods, abstraction methods, and ...
openaire +1 more source
Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio computatorica, 2021
openaire +1 more source
openaire +1 more source