
Software design document for field checking, software requirement specification for fielding checking system, operator's manual for checking system
Publication year - 1987
Language(s) - Danish
Resource type - Reports
DOI - 10.4095/130415
Subject(s) - computer science , software engineering , software , operator (biology) , programming language , field (mathematics) , software requirements specification , software system , model checking , software design , software development , mathematics , biochemistry , chemistry , repressor , transcription factor , pure mathematics , gene