Tampere University of Technology

TUTCRIS Research Portal

A Layer-Based Formalization of an On-Board Instrument

Research output: Book/ReportCommissioned reportProfessional

Details

Original languageEnglish
Place of PublicationTampere
PublisherTampere University of Technology
Number of pages18
ISBN (Print)952-15-0118-9
Publication statusPublished - 1998
Publication typeD4 Published development or research report or study

Publication series

NameTampere University of Technology, Software Systems Laboratory, Report
PublisherTampere University of Technology
No.18/1998
ISSN (Print)0786-0102

Publication forum classification