Business Systems Research, Vol. 5 No. 1, 2014.

Table of contents

Full text

Special Issue Editorial: Embedded Systems Applications: Future Society Applications (page 4-5)

Michalis Loupis, Mirjana Pejić Bach
Editorial

Embedded Systems Development Tools: A MODUS-oriented Market Overview (page 6-20)

Michalis Loupis
Original scientific paper

The MODUS Approach to Formal Verification (page 21-33)

Lukasz Brewka, José Soler, Michael Berger
Original scientific paper

Smart Residential Buildings as Learning Agent Organizations in the Internet of Things (page 34-46)

Markus Schatten
Original scientific paper

A Contribution to Considerations of the Role of Embedded Systems (page 47-56)

Josip Stepanić, Josip Kasać, Marjana Merkač Skok
Original scientific paper

Development Practices of Embedded Systems: SMEs in SEE countries (page 57-67)

Ivan Strugar, Jovana Zoroja, Božidar Jaković
Original scientific paper

Stackelberg Equilibrium of the Client and the Producer of Embedded Software (page 68-76)

Ilko Vrankić, Mirjana Pejić Bach, Mira Krpan
Original scientific paper

Visits: 10.204 *