SPECIFYING AND VERIFYING REAL-TIME SYSTEMS USING TIME PETRI NETS AND REAL-TIME TEMPORAL LOGIC Conference

HE, XD. (1991). SPECIFYING AND VERIFYING REAL-TIME SYSTEMS USING TIME PETRI NETS AND REAL-TIME TEMPORAL LOGIC . 135-140. 10.1109/CMPASS.1991.161052

cited authors

  • HE, XD

authors

date/time interval

  • June 24, 1991 -

publication date

  • January 1, 1991

keywords

  • Engineering
  • Engineering, Electrical & Electronic
  • Science & Technology
  • Technology

Location

  • MD, GAITHERSBURG

Digital Object Identifier (DOI)

International Standard Book Number (ISBN) 10

Conference

  • 6TH ANNUAL CONF ON COMPUTER ASSURANCE ( COMPASS 91 ) : SYSTEMS INTEGRITY, SOFTWARE SAFETY, AND PROCESS SECURITY

publisher

  • I E E E

start page

  • 135

end page

  • 140