Geodesic

Tome 23 (2016) no. 6

Sommaire

Analysis of real-time applications feasibility through simulation
p. 673-687
Application of coloured Petri nets for verification of scenario control structures in UCM notation
p. 688-702
An approach to verification of a family of multiagent systems for conflict resolution
p. 703-714
Using BALM-II for deriving cascade parallel composition of timed finite state machines
p. 715-728
Deriving test suites with the guaranteed fault coverage for extended finite state machines
p. 729-740
On the minimization of finite state transducers over semigroups
p. 741-753
The formalism and language tools for semantics specification of software libraries
p. 754-766
Design and security analysis of a fragment of Internet of Things telecommunication system
p. 767-776
Generation of a social network graph by using Apache Spark
p. 777-783
Bifurcation of periodic solutions of the Mackey--Glass equation
p. 784-803
Component-based systems reconfigurations using graph grammars
p. 804-825
Methodological aspects of semantic relationship extraction for automatic thesaurus generation
p. 826-840
Dynamics of a system of two simplest oscillators with finite non-linear feedbacks
p. 841-849
Stable cycles and tori of a system of three and four diffusive coupled oscillators
p. 850-859