Back to Results
First PageMeta Content
ECO / Trondheim / Dependability / Actor model / Computing / Abstract Syntax Notation One / TTCN


Formal methods Research at NTNU Department of Telematics (ITEM) FMICS[removed]Røros By Rolv Bræk
Add to Reading List

Document Date: 2003-06-28 15:56:04

Open Document

File Size: 207,08 KB

Share Result on Facebook

City

Trondheim / /

IndustryTerm

electronics software / /

Organization

United Nations / Services Service / Service/Play1 Service/Play2 Service / NTNU Department of Telematics / An association / /

ProgrammingLanguage

TTCN / /

SocialTag