SC Harvester Papers Database Interface

An approach for evaluating formal description techniques

A. Ahtiainen, S. Alfonzetti, V. Chari, M. Daniels, M. Diaz et al. In: . 1985

Organization of Hospital for Extrahospital Emergencies

E. Tresalti, A. Cicchetti, G. Rossi, P. Contegiacomo. In: . 1985

An ASYL/EFSM Description of the ISO Transport Protocol

M. Daniels, H. Hansson. In: . 1984

The Ultimate Rewrite: A Plague of Boobs

Anders Henriksson. 1983

Mechanisms for vitamin A transfer from blood to milk in rhesus monkeys.

Anders Vahlquist, S. Nilsson. In: The Journal of nutrition. 1979

Soccer injuries in adolescents

S. Nilsson, Asbjørn Roaas. In: The American Journal of Sports Medicine. 1978

[Population mobility and municipal planning: consequences of small-area population mobility for municipal infrastructure planning]

Baehr, J. Baldermann, G. Hecking, E. Knauss. In: . 1977

[Late febrile conditions after acute myocardial infarction with special attention to the post-myocardial-infarction syndrome (PMIS) and the occurrence of myocardioautoantibodies].

D. Stahl, S. Thyme, B. Wanscher. In: Ugeskrift for laeger. 1975

Inaugural address.

S. Nilsson. In: The Medical journal of Australia. 1975

Motives for Population Shift and City Structure (Stuttgart)

J. Baldermann, G. Hecking, E. Knauss. 1975

The finances and financial administration of Sweden during the late sixteenth century

S. Nilsson. In: Scandinavian Economic History Review. 1956

Using FLOW to Improve Communication of Requirements in Globally Distributed Software Projects

Kai Stapel, E. Knauss, K. Schneider. In: 2009 Collaboration and Intercultural Issues on Requirements: Communication, Understanding and Softskills. 1899

The credit crunch and the events of the Secure by Design : Developing Secure Software Systems from the Ground Up

J. Horkoff, Feng-Lin Li. None

Message from the Workshop Chair

J. Gustafsson, B. Lisper, Nerina Bernmudo, C. Sandberg. None

ii Preface Mälardalen Real-Time research

H. Hansson. None

Abstract: Mälardalen Real-Time research Centre (MRTC) organises all research and postgraduate education at the department of Computer Engineering, at Mälardalen University (MdH) in Västerås, Sweden. The research covers a wide spectrum – from pure computer science to applied electronics – but with an emphasis on computer engineering and dominating focus on real-time systems....