View Item 

Show simple item record

First-order logic models for real-time, discrete-event systems

dc.contributor.authorNaylor, Arch W.en_US
dc.date.accessioned2006-02-03T17:23:49Z
dc.date.available2006-02-03T17:23:49Z
dc.date.issued1993en_US
dc.identifierUMR1720en_US
dc.identifier.urihttps://hdl.handle.net/2027.42/6785
dc.format.extent46 bytes
dc.format.extent98621 bytes
dc.format.extent3366 bytes
dc.format.extent108658 bytes
dc.format.extent4092145 bytes
dc.format.mimetypetext/plain
dc.format.mimetypetext/plain
dc.format.mimetypetext/plain
dc.format.mimetypetext/plain
dc.format.mimetypeapplication/pdf
dc.language.isoen_USen_US
dc.subjectReal-time data processing -- Mathematical models.en_US
dc.subjectFirst-order logic.en_US
dc.subjectSystem analysis.en_US
dc.subjectReal-time programming -- Mathematical models.en_US
dc.titleFirst-order logic models for real-time, discrete-event systemsen_US
dc.typeTechnical Reporten_US
dc.subject.hlbtoplevelEngineeringen_US
dc.description.bitstreamurlhttp://deepblue.lib.umich.edu/bitstream/2027.42/6785/5/bac3322.0001.001.pdfen_US
dc.description.bitstreamurlhttp://deepblue.lib.umich.edu/bitstream/2027.42/6785/4/bac3322.0001.001.txten_US
dc.owningcollnameEngineering, College of - Technical Reports


Files in this item

Name:
bac3322.0001.001.txt
Size:
106.1KB
Format:
Text file
View/Open
Name:
bac3322.0001.001.pdf
Size:
3.902MB
Format:
PDF
View/Open

Show simple item record

Remediation of Harmful Language

The University of Michigan Library aims to describe library materials in a way that respects the people and communities who create, use, and are represented in our collections. Report harmful or offensive language in catalog records, finding aids, or elsewhere in our collections anonymously through our metadata feedback form. More information at Remediation of Harmful Language.

Accessibility

If you are unable to use this file in its current format, please select the Contact Us link and we can modify it to make it more accessible to you.